diff options
| -rw-r--r-- | README.maintainer | 1 | ||||
| -rwxr-xr-x | make_dist | 2 | ||||
| -rw-r--r-- | manual/build.mk | 5 |
3 files changed, 4 insertions, 4 deletions
diff --git a/README.maintainer b/README.maintainer index 2b79659d..bb2d7f43 100644 --- a/README.maintainer +++ b/README.maintainer @@ -111,7 +111,6 @@ Release Reminders * Remember to update the web page including putting new documentation in the "files" subdirectory of the website on sourceforge.net. - Linearize the PDF version of the manual when copying it there. * Create a tag in the version control system, and make backups of the actual releases. With git, use git tag -s to create a signed tag: @@ -95,7 +95,7 @@ if ($version_error) run("./autogen.sh"); run("./configure --enable-doc-maintenance --enable-werror"); -run("make build_manual"); +run("make -j8 build_manual"); run("make distclean"); cd($pwd); run("tar czvf $srcdir.tar.gz-candidate $srcdir"); diff --git a/manual/build.mk b/manual/build.mk index 55c49652..03e8fe56 100644 --- a/manual/build.mk +++ b/manual/build.mk @@ -24,8 +24,9 @@ $(VALIDATE): endif -$(OUTDOC).pdf: $(OUTDOC).fo - $(FOP) $< -pdf $@ +$(OUTDOC).pdf: $(OUTDOC).fo qpdf/build/qpdf + $(FOP) $< -pdf $@.tmp + qpdf/build/qpdf --linearize $@.tmp $@ $(OUTDOC).html: $(INDOC).xml manual/html.xsl $(VALIDATE) $(XSLTPROC) --output $@ manual/html.xsl $< |