Explicitly set stylesheet to use with xmlto.

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 4a7e3d9870b59a15760bf5a7708a67d9fbaa5ca3..db833cab538fd06557cb1886b8c1af7ea18a01f3 100644 (file)
--- 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 482fe827771444cac3cd2e965f084590a2e2b14c..bae567c90876cbf8caa4fda553b43f899e824d0e 100644 (file)
--- 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: