diff options
Diffstat (limited to 'docs-xml')
| -rw-r--r-- | docs-xml/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs-xml/Makefile b/docs-xml/Makefile index 0b4e880a8b..b322bed8dc 100644 --- a/docs-xml/Makefile +++ b/docs-xml/Makefile @@ -191,6 +191,9 @@ $(PSDIR)/%.ps: %/index.xml $(PSDIR) xslt/latex.xsl %-images-latex-eps %.eps: %.png $(PNGTOPNM) $< | $(PNMTOPS) > $@ +%.pdf: %.svg + $(INKSCAPE) -z -f $(abspath $<) --export-pdf=$(abspath $@) + $(HTMLHELPDIR)/%: $(DOCBOOKDIR)/%.xml %-images-htmlhelp $(XSLTPROC) --stringparam htmlhelp.chm $*.chm \ --stringparam manifest.in.base.dir "$@/" \ |