diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-08-22 21:30:05 -0400 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-08-22 21:30:05 -0400 |
| commit | 9c665f163dc315422f6694e1f9cebb2b1f46c982 (patch) | |
| tree | 5b15bfc2032adb53e1fd51258f65e6c59769c4da /Doc | |
| parent | 0f9240b1530bcefc97276de99f2d57885be4bc9f (diff) | |
Run pdflatex three times in the documentation Makefile
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 81d5a8c..6e669e0 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -22,3 +22,5 @@ clean: %.pdf: %.tex $(PDFLATEX) $< + $(PDFLATEX) $< + $(PDFLATEX) $< |