diff options
Diffstat (limited to 'propositions/Makefile')
| -rw-r--r-- | propositions/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/propositions/Makefile b/propositions/Makefile new file mode 100644 index 0000000..235c5f8 --- /dev/null +++ b/propositions/Makefile @@ -0,0 +1,16 @@ +all: \ +propositions-2018.pdf \ + +propositions-2018.pdf: master.pdf + cp $< $@ + +%.pdf: %.tex ../preamble/preamble.tex + latex_count=5 ; \ + jobname=$(basename $@) ;\ + pdflatex -jobname="$$jobname" $< ;\ + while egrep -s 'Rerun (LaTeX|to get cross-references right)' $$jobname.log && [ $$latex_count -gt 0 ] ;\ + do echo "Rerunning latex...." ; pdflatex $<; latex_count=`expr $$latex_count - 1`; done + +clean: + rm -fr *.aux *.bbl *.dvi *.log *.nav *.out *.snm *.toc *~ + rm -fr master.pdf |