From ebdf439a201d6fda0780284fc7f49b1f8deb88ab Mon Sep 17 00:00:00 2001 From: Francesco Mazzoli Date: Sat, 22 Jun 2013 17:06:40 +0100 Subject: ... --- Makefile | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index d807c24..3fd7f1d 100644 --- a/Makefile +++ b/Makefile @@ -6,16 +6,19 @@ OBJECTS = $(OBJECTST) $(OBJECTSA) all: $(OBJECTS) -thesis.pdf: thesis.tex thesis.bib agda.sty +final.pdf: final.tex final.bib agda.sty pdflatex -halt-on-error $< -o $@ - bibtex thesis + bibtex final pdflatex -halt-on-error $< -o $@ pdflatex -halt-on-error $< -o $@ -agda.sty: thesis.tex +presentation.pdf: presentation.tex + pdflatex -halt-on-error $< -o $@ + +agda.sty: final.tex -thesis.tex: thesis.lagda - agda --allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ thesis.lagda +final.tex: final.lagda + agda --allow-unsolved-metas --latex --latex-dir . -i . -i ~/src/agda-lib/src/ final.lagda InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport.agda xelatex -halt-on-error $< -o $@ @@ -29,7 +32,7 @@ idris-proposal.pdf: idris-proposal.tex clean: cleanup rm -f $(OBJECTS) - rm -f thesis.tex agda.sty + rm -f final.tex cleanup: rm -f *.log *.aux *.nav *.snm *.toc *.vrb *.out *.bbl *.blg *.agdai -- cgit v1.2.3