reset: warn when refresh_index() takes more than 2 seconds

diff --git a/Documentation/manpage-base.xsl b/Documentation/manpage-base.xsl
index 6d3eb1912a09ee2c5925033e0cfd3bb973626b6c..a264fa616093cf4e28a1080dd76747b008859e19 100644 (file)
--- a/Documentation/manpage-base.xsl
+++ b/Documentation/manpage-base.xsl
@@ -3,6 +3,10 @@
 <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                version="1.0">
 
+<!-- these params silence some output from xmlto -->
+<xsl:param name="man.output.quietly" select="1"/>
+<xsl:param name="refentry.meta.get.quietly" select="1"/>
+
 <!-- convert asciidoc callouts to man page format;
      git.docbook.backslash and git.docbook.dot params
      must be supplied by another XSL file or other means -->