git.iko.soy/Idris-dev
on ccd64c7 help sign in
Idris-dev/impl-paper/Makefile
41 lines 675 B history raw
1PAPER = impldtp
3all: ${PAPER}.pdf
5TEXFILES = ${PAPER}.tex intro.tex conclusions.tex overview.tex
7DIAGS =
9SOURCES = ${TEXFILES} ${DIAGS} macros.ltx literature.bib
11DITAA = java -jar ~/Downloads/ditaa.jar
13${PAPER}.pdf: ${SOURCES}
14# dvipdf ${PAPER}.dvi
15 pdflatex ${PAPER}
16 -bibtex ${PAPER}
17 -pdflatex ${PAPER}
18 -pdflatex ${PAPER}
20${PAPER}.ps: ${PAPER}.dvi
21 dvips -o ${PAPER}.ps ${PAPER}
23${PAPER}.dvi: $(SOURCES)
24 -latex ${PAPER}
25 -bibtex ${PAPER}
26 -latex ${PAPER}
27 -latex ${PAPER}
29progress: .PHONY
30 wc -w ${TEXFILES}
32%.png : %.diag
33 $(DITAA) -o -E $<
35todropbox: .PHONY
36 cp ${SOURCES} ~/Dropbox/TeX/ImplDTP/
38fromdropbox: .PHONY
39 cp ~/Dropbox/TeX/ImplDTP/* .
41.PHONY: