agda.sty: thesis.tex
thesis.tex: thesis.lagda
- agda --latex --latex-dir . -i . -i ~/src/agda-lib/src/ thesis.lagda
+ agda --allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ thesis.lagda
InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda
xelatex -halt-on-error $< -o $@
cleanup:
rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai
-