git.iko.soy/Idris-dev
on bb3e629 help sign in
Idris-dev/tutorial/Makefile
43 lines 863 B history raw
1PAPER = idris-tutorial
3all: ${PAPER}.pdf
5TEXFILES = ${PAPER}.tex intro.tex starting.tex miscellany.tex typesfuns.tex \
6 classes.tex modules.tex interp.tex views.tex theorems.tex \
7 provisional.tex syntax.tex conclusions.tex miscellany.tex dsl.tex
9DIAGS =
11SOURCES = ${TEXFILES} ${DIAGS} macros.ltx library.ltx literature.bib
13DITAA = java -jar ~/Downloads/ditaa.jar
15${PAPER}.pdf: ${SOURCES}
16# dvipdf ${PAPER}.dvi
17 pdflatex ${PAPER}
18 -bibtex ${PAPER}
19 -pdflatex ${PAPER}
20 -pdflatex ${PAPER}
22${PAPER}.ps: ${PAPER}.dvi
23 dvips -o ${PAPER}.ps ${PAPER}
25${PAPER}.dvi: $(SOURCES)
26 -latex ${PAPER}
27 -bibtex ${PAPER}
28 -latex ${PAPER}
29 -latex ${PAPER}
31progress: .PHONY
32 wc -w ${TEXFILES}
34%.png : %.diag
35 $(DITAA) -o -E $<
37todropbox: .PHONY
38 cp ${SOURCES} ~/Dropbox/TeX/idris-tutorial
40fromdropbox: .PHONY
41 cp ~/Dropbox/TeX/idris-tutorial/* .
43.PHONY: