diff options
| -rw-r--r-- | docs-xml/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs-xml/Makefile b/docs-xml/Makefile index 318c00197e..f176d5aac8 100644 --- a/docs-xml/Makefile +++ b/docs-xml/Makefile @@ -183,11 +183,11 @@ endif endif # Adobe PDF files -%.pdf: %/index.xml xslt/latex.xsl +%.pdf: %/index.xml xslt/latex.xsl %-images-latex-png %-images-latex-pdf $(DBLATEX) $(DBLATEX_OPTIONS) -I $*/images -t pdf -o $@ $< # PostScript files -%.ps: %/index.xml xslt/latex.xsl +%.ps: %/index.xml xslt/latex.xsl %-images-latex-eps $(DBLATEX) $(DBLATEX_OPTIONS) -I $*/images -t ps -o $@ $< %.eps: %.svg |