From: Mark Wielaard <mark@klomp.org>
Date: Fri, 15 May 2020 10:30:00 +0000 (+0200)
Subject: Explicitly set stylesheet to use with xmlto.
X-Git-Tag: VALGRIND_3_16_0~5
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=a2ef3fcf6a05fbc423b9ff6ad17867e0c2249b5b;p=thirdparty%2Fvalgrind.git

Explicitly set stylesheet to use with xmlto.
---

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 4a7e3d9870..db833cab53 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -189,6 +189,7 @@ print-docs:
 	mkdir -p $(myprintdir)/images && \
 	cp $(myimgdir)/*.png $(myprintdir)/images && \
 	xmlto -v $(WITH_FOP) --stringparam=keep.relative.image.uris="1" \
+	      -x $(XSL_FO_STYLE) \
 	      --searchpath print pdf $(myxmldir)/index.xml &> $(LOGFILE) && \
 	echo "Generating PS file: $(myprintdir)/index.ps ..." && \
 	pdftops index.pdf && \
@@ -301,6 +302,7 @@ download-docs:
 	mkdir -p $(vgdir)/print/images
 	cp $(myimgdir)/*.png $(vgdir)/print/images/
 	xmlto -v $(WITH_FOP) --stringparam=keep.relative.image.uris="1" \
+	      -x $(XSL_FO_STYLE) \
 	      --searchpath print pdf $(myxmldir)/index.xml &> $(LOGFILE)
 	mv index.pdf $(vgdir)/print/manual.pdf
 	@echo ""
diff --git a/docs/README b/docs/README
index 482fe82777..bae567c908 100644
--- a/docs/README
+++ b/docs/README
@@ -94,6 +94,8 @@ If fop is giving you trouble you can edit the docs/Makefile.am file
 at the top to remove WITH_FOP. It will then fall back to pdfxmltex
 for which you will need the hack described in "Notes [Mar 2015]".
 
+On Fedora the pdftops command is provided by poppler-utils.
+
 Notes [Jan 2019]
 -----------------
 For Ubuntu 18.04, to build HTML docs I had to: