diff options
author | paltherr <paltherr@epfl.ch> | 2003-08-05 10:56:35 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-08-05 10:56:35 +0000 |
commit | 01b58f124d6b16fa8be43672f8073ef76e55ca84 (patch) | |
tree | a3725b01ee698564e8701b094e0ff46384838f93 /support | |
parent | b25aa75bcb9f49f06d1af7fb0b057debf19f3da5 (diff) | |
download | scala-01b58f124d6b16fa8be43672f8073ef76e55ca84.tar.gz scala-01b58f124d6b16fa8be43672f8073ef76e55ca84.tar.bz2 scala-01b58f124d6b16fa8be43672f8073ef76e55ca84.zip |
*** empty log message ***
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 ############################################################################## |