Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

44 lines (30 sloc) 0.746 kB
PAPER = impldtp
all: ${PAPER}.pdf .PHONY
TEXFILES = ${PAPER}.tex intro.tex conclusions.tex hll.tex\
typechecking.tex elaboration.tex delab.tex \
syntax.tex
DIAGS =
SOURCES = ${TEXFILES} ${DIAGS} macros.ltx library.bib
DITAA = java -jar ~/Downloads/ditaa.jar
${PAPER}.pdf: ${SOURCES}
# dvipdf ${PAPER}.dvi
pdflatex ${PAPER}
-bibtex ${PAPER}
-pdflatex ${PAPER}
-pdflatex ${PAPER}
${PAPER}.ps: ${PAPER}.dvi
dvips -o ${PAPER}.ps ${PAPER}
${PAPER}.dvi: $(SOURCES)
-latex ${PAPER}
-bibtex ${PAPER}
-latex ${PAPER}
-latex ${PAPER}
progress: .PHONY
wc -w ${TEXFILES}
%.png : %.diag
$(DITAA) -o -E $<
todropbox: .PHONY
cp ${SOURCES} ~/Dropbox/TeX/ImplDTP/
fromdropbox: .PHONY
cp ~/Dropbox/TeX/ImplDTP/* .
.PHONY:
Jump to Line
Something went wrong with that request. Please try again.