diff options
Diffstat (limited to 'support')
| -rw-r--r-- | support/make/latex.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/support/make/latex.mk b/support/make/latex.mk index 933e049fae..0f77b56b84 100644 --- a/support/make/latex.mk +++ b/support/make/latex.mk @@ -86,8 +86,8 @@ latex.distclean : %.pdf : %.tex $(LATEX_SOURCES) $(LATEXMK) -pdf $< -.PRECIOUS : %.dvi -.PRECIOUS : %.ps -.PRECIOUS : %.pdf +.PRECIOUS : %.dvi +.PRECIOUS : %.ps +.PRECIOUS : %.pdf ############################################################################## |