diff options
Diffstat (limited to '2013/mayday/Makefile')
-rw-r--r-- | 2013/mayday/Makefile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/2013/mayday/Makefile b/2013/mayday/Makefile deleted file mode 100644 index 7a74887..0000000 --- a/2013/mayday/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -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/') $@ - - |