diff options
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) $< |