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.

diff --git a/doc/src/sgml/stylesheet-man.xsl b/doc/src/sgml/stylesheet-man.xsl
index 5ef2fcd634d12193f787501e42fb628b25bbbffa..fcb485c29319d6a5205ccafbf1a27b11c53615e8 100644 (file)
--- a/doc/src/sgml/stylesheet-man.xsl
+++ b/doc/src/sgml/stylesheet-man.xsl
@@ -12,11 +12,13 @@
 
 0
 0
+0 
 
 
-refentry.meta.get.quietly" select="0">
+man.output.quietly" select="1">
 32 
 40 
+