diff options
author | Gustav Eek <gustav.eek@fripost.org> | 2018-06-06 09:56:47 +0200 |
---|---|---|
committer | Gustav Eek <gustav.eek@fripost.org> | 2018-06-06 09:56:47 +0200 |
commit | cee303fdda54053d52a18707140a59544ea1b4cb (patch) | |
tree | 5be3289f9bf8bdba45e3bc6a06bb6fdd926e3367 /propositions/Makefile | |
parent | 2f55af15da3d337bbd82ee7515540ed091ba67ed (diff) | |
parent | 37fea3df2309c657d59f247de1ead0658072f0a7 (diff) |
Merge branch '2018-05-06-annual'
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 |