diff options
author | Francesco Mazzoli <f@mazzo.li> | 2013-05-22 19:17:05 +0100 |
---|---|---|
committer | Francesco Mazzoli <f@mazzo.li> | 2013-05-22 19:17:05 +0100 |
commit | ffb60695dd2d6f69ba6ede6a85efdaded91db951 (patch) | |
tree | 90630bafaad9bfc39117187a7fab69ae3b619ff9 /Makefile | |
parent | 5bbbffc580f28704da849395f8fc722e01cc1c45 (diff) |
more progress
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -15,7 +15,7 @@ thesis.pdf: thesis.tex thesis.bib agda.sty 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 $@ |