diff options
Diffstat (limited to '2013/mayday/Makefile')
| -rw-r--r-- | 2013/mayday/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/2013/mayday/Makefile b/2013/mayday/Makefile new file mode 100644 index 0000000..7a74887 --- /dev/null +++ b/2013/mayday/Makefile @@ -0,0 +1,13 @@ +SHELL=/bin/bash + +flyer-1-may-2013.pdf: master.tex preamble.tex frontside.tex backside.tex + latex_count=5 ;\ + latex_log=$$(echo $< | sed 's/.tex/.log/') ;\ + pdflatex $< ;\ + while egrep -s 'Rerun (LaTeX|to get cross-references right)' $$latex_log && [ $$latex_count -gt 0 ] ;\ + do echo "Rerunning latex...." ; pdflatex $< ;\ + latex_count=`expr $$latex_count - 1`;\ + done; + mv -v $$(echo $< | sed 's/.tex/.pdf/') $@ + + |