diff --git a/make/tex.mk b/make/tex.mk index e2734cb6..830fdb14 100644 --- a/make/tex.mk +++ b/make/tex.mk @@ -251,7 +251,7 @@ $(OUT).html.zip: $(HTMLDIR) #$(OUT).ps.zip: $(OUTPUT).ps # zip $@ $< -$(OUTPUT).pdf: +$(OUTPUT).pdf: $(GENERATED) @echo "-- creating pdf file" pdflatex $(MAIN).tex; pdflatex $(MAIN).tex; pdflatex $(MAIN).tex mv $(MAIN).pdf $(OUTPUT).pdf