diff options
| -rw-r--r-- | docs-xml/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs-xml/Makefile b/docs-xml/Makefile index f176d5aac8..5d3cc46baf 100644 --- a/docs-xml/Makefile +++ b/docs-xml/Makefile @@ -187,7 +187,7 @@ endif $(DBLATEX) $(DBLATEX_OPTIONS) -I $*/images -t pdf -o $@ $< # PostScript files -%.ps: %/index.xml xslt/latex.xsl %-images-latex-eps +$(PSDIR)/%.ps: %/index.xml xslt/latex.xsl %-images-latex-eps $(DBLATEX) $(DBLATEX_OPTIONS) -I $*/images -t ps -o $@ $< %.eps: %.svg |