• Peter Eisentraut's avatar
    doc: Improve man build speed · 6d933da3
    Peter Eisentraut authored
    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.
    6d933da3
stylesheet-man.xsl 8.48 KB