diff options
author | paltherr <paltherr@epfl.ch> | 2004-11-26 15:16:12 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-11-26 15:16:12 +0000 |
commit | f617efc24eaf720d8ba7cfd071be5117c55e7bd5 (patch) | |
tree | 37d1d87cdacf4b41b89006216b2deacad00f3a80 /support/make | |
parent | 3ef7b2660e3f0c3dcfce1876fb258c49a02a8726 (diff) | |
download | scala-f617efc24eaf720d8ba7cfd071be5117c55e7bd5.tar.gz scala-f617efc24eaf720d8ba7cfd071be5117c55e7bd5.tar.bz2 scala-f617efc24eaf720d8ba7cfd071be5117c55e7bd5.zip |
- Improved recompilation of multi-files documents
Diffstat (limited to 'support/make')
-rw-r--r-- | support/make/latex.mk | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/support/make/latex.mk b/support/make/latex.mk index 0f77b56b84..75600bbe21 100644 --- a/support/make/latex.mk +++ b/support/make/latex.mk @@ -78,13 +78,13 @@ latex.distclean : %.dvi : %.tex $(LATEX_SOURCES) - $(LATEXMK) $< + $(LATEXMK) $(LATEXMK_FLAGS) -g $< -%.ps : %.tex $(LATEX_SOURCES) - $(LATEXMK) -ps $< +%.ps : %.dvi + $(LATEXMK) $(LATEXMK_FLAGS) -ps $*.tex %.pdf : %.tex $(LATEX_SOURCES) - $(LATEXMK) -pdf $< + $(LATEXMK) $(LATEXMK_FLAGS) -g -pdf $< .PRECIOUS : %.dvi .PRECIOUS : %.ps |