diff options
Diffstat (limited to '2012/Makefile')
-rw-r--r-- | 2012/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/2012/Makefile b/2012/Makefile index 407cf3a..d4786a5 100644 --- a/2012/Makefile +++ b/2012/Makefile @@ -5,6 +5,7 @@ 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' +minutes8 = 2012-08-06-board minutes7 = 2012-06-14-board minutes6 = 2012-04-21-member-notes minutes5 = 2012-04-19-board @@ -13,8 +14,13 @@ minutes3 = 2012-03-04-annual minutes2 = 2012-02-27-board minutes1 = 2012-01-19-board -all: $(minutes7).pdf $(minutes6).pdf $(minutes5).pdf $(minutes4).pdf $(minutes3).pdf $(minutes2).pdf $(minutes1).pdf +all: $(minutes8).pdf $(minutes7).pdf $(minutes6).pdf $(minutes5).pdf $(minutes4).pdf $(minutes3).pdf $(minutes2).pdf $(minutes1).pdf +$(minutes8).pdf: $(minutes8).tex ../preamble/preamble.tex + pdflatex $(minutes8).tex + latex_count=5 ; \ + while egrep -s 'Rerun (LaTeX|to get cross-references right)' $(minutes8).log && [ $$latex_count -gt 0 ] ;\ + do echo "Rerunning latex...." ; pdflatex $(minutes8).tex; latex_count=`expr $$latex_count - 1`; done $(minutes7).pdf: $(minutes7).tex ../preamble/preamble.tex pdflatex $(minutes7).tex latex_count=5 ; \ |