diff options
Diffstat (limited to '2013')
| -rw-r--r-- | 2013/Makefile | 16 | 
1 files changed, 14 insertions, 2 deletions
diff --git a/2013/Makefile b/2013/Makefile index 3df85b0..6126eda 100644 --- a/2013/Makefile +++ b/2013/Makefile @@ -1,8 +1,20 @@  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' -minutes1 = 2013-02-12-board -all: $(minutes1).pdf + +all: \ +2013-03-23-annual.pdf \ +2013-02-12-board.pdf + +%.pdf: %.tex ../preamble/preamble.tex +	latex_count=5 ;\ +	latex_log=$$(echo $@ | sed 's/.pdf/.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;  %.pdf: %.tex ../preamble/preamble.tex  	latex_count=5 ;\  | 
