diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2018-02-23 19:52:30 -0500 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2018-02-28 09:26:36 -0500 |
| commit | 6d933da306c993ab52a28dba9f4f5b80c80f9681 (patch) | |
| tree | 4466d4da7794becdfa7fb58fac8999278c882d09 | |
| parent | d21ddc220fc735da84c9fa7bae1968f6953a6c8c (diff) | |
| download | postgresql-6d933da306c993ab52a28dba9f4f5b80c80f9681.tar.gz postgresql-6d933da306c993ab52a28dba9f4f5b80c80f9681.zip | |
doc: Improve man build speed
Turn off man.endnotes.are.numbered parameter, which we don't need, but
which increases performance vastly if off. Also turn on
man.output.quietly, which also makes things a bit faster, but which is
also less useful now as a progress indicator because the build is so
fast now.
| -rw-r--r-- | doc/src/sgml/stylesheet-man.xsl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/src/sgml/stylesheet-man.xsl b/doc/src/sgml/stylesheet-man.xsl index 5ef2fcd634d..fcb485c2931 100644 --- a/doc/src/sgml/stylesheet-man.xsl +++ b/doc/src/sgml/stylesheet-man.xsl @@ -12,11 +12,13 @@ <xsl:param name="man.authors.section.enabled">0</xsl:param> <xsl:param name="man.copyright.section.enabled">0</xsl:param> +<xsl:param name="man.endnotes.are.numbered">0</xsl:param> <!-- for performance --> <xsl:param name="man.output.base.dir"></xsl:param> <xsl:param name="man.output.in.separate.dir" select="1"></xsl:param> -<xsl:param name="refentry.meta.get.quietly" select="0"></xsl:param> +<xsl:param name="man.output.quietly" select="1"></xsl:param> <xsl:param name="man.th.title.max.length">32</xsl:param> <!-- enough room for "CREATE TEXT SEARCH CONFIGURATION" --> <xsl:param name="man.th.extra3.max.length">40</xsl:param> <!-- enough room for "PostgreSQL X.Ydevel Documentation" --> +<xsl:param name="refentry.meta.get.quietly" select="0"></xsl:param> <xsl:param name="refentry.xref.manvolnum" select="1"/> <!-- overridden from stylesheet-common.xsl --> <!-- Fixup for apostrophe groff output. See the following references: |