git.iko.soy/Idris-dev
on 0bc69fb help sign in
Idris-dev/tutorial/Makefile
41 lines 720 B history raw
1PAPER = idris-tutorial
3all: ${PAPER}.pdf
5TEXFILES = ${PAPER}.tex intro.tex starting.tex miscellany.tex typesfuns.tex
7DIAGS =
9SOURCES = ${TEXFILES} ${DIAGS} macros.ltx library.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/idris-tutorial
38fromdropbox: .PHONY
39 cp ~/Dropbox/TeX/idris-tutorial/* .
41.PHONY: