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.863 kB
PAPER = idris-tutorial
all: ${PAPER}.pdf
TEXFILES = ${PAPER}.tex intro.tex starting.tex miscellany.tex typesfuns.tex \
classes.tex modules.tex interp.tex views.tex theorems.tex \
provisional.tex syntax.tex conclusions.tex miscellany.tex dsl.tex
DIAGS =
SOURCES = ${TEXFILES} ${DIAGS} macros.ltx library.ltx literature.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/idris-tutorial
fromdropbox: .PHONY
cp ~/Dropbox/TeX/idris-tutorial/* .
.PHONY:
Jump to Line
Something went wrong with that request. Please try again.