git.iko.soy/Idris-dev
on d1663cc help sign in
Idris-dev/tutorial/Makefile
40 lines 660 B history raw
1PAPER = idris-tutorial
3all: ${PAPER}.pdf
5TEXFILES = ${PAPER}.tex content/*.tex
7DIAGS =
9SOURCES = ${TEXFILES} ${DIAGS} macros.ltx library.ltx literature.bib
11DITAA = java -jar ~/Downloads/ditaa.jar
13${PAPER}.pdf: ${SOURCES}
14 pdflatex ${PAPER}
15 -bibtex ${PAPER}
16 -pdflatex ${PAPER}
17 -pdflatex ${PAPER}
19${PAPER}.ps: ${PAPER}.dvi
20 dvips -o ${PAPER}.ps ${PAPER}
22${PAPER}.dvi: $(SOURCES)
23 -latex ${PAPER}
24 -bibtex ${PAPER}
25 -latex ${PAPER}
26 -latex ${PAPER}
28progress: .PHONY
29 wc -w ${TEXFILES}
31%.png : %.diag
32 $(DITAA) -o -E $<
34todropbox: .PHONY
35 cp ${SOURCES} ~/Dropbox/TeX/idris-tutorial
37fromdropbox: .PHONY
38 cp ~/Dropbox/TeX/idris-tutorial/* .
40.PHONY: