diff options
Diffstat (limited to '2012/Makefile')
-rw-r--r-- | 2012/Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/2012/Makefile b/2012/Makefile index c9c852f..8f4fd12 100644 --- a/2012/Makefile +++ b/2012/Makefile @@ -5,11 +5,18 @@ noarg: echo -e '\nThis script do not run without arguments. Run for example:\n\n make 2011-02-13-board-notes.pdf\n make all\n' + +minutes3 = 2012-03-04-annual minutes2 = 2012-02-27-board minutes1 = 2012-01-19-board -all: $(minutes1) $(minutes2) +all: $(minutes3) $(minutes2) $(minutes1) +$(minutes3).pdf: $(minutes3).tex ../preamble/preamble.tex + pdflatex $(minutes3).tex + latex_count=5 ; \ + while egrep -s 'Rerun (LaTeX|to get cross-references right)' $(minutes3).log && [ $$latex_count -gt 0 ] ;\ + do echo "Rerunning latex...." ; pdflatex $(minutes3).tex; latex_count=`expr $$latex_count - 1`; done $(minutes2).pdf: $(minutes2).tex ../preamble/preamble.tex pdflatex $(minutes2).tex latex_count=5 ; \ |