Michael Hanselmann authored
Before this patch, HTML versions of man pages (man/*.rst) were already built. However, since they are separate from the normal documentation, their content is not indexed for Sphinx' search functionality. Additionally it would simply be nice to have everything in one place. To this end a new configure-time option is added to enable the inclusion of man pages into the documentation. A dedicated option is necessary to still be able to provide a static documentation build in the tarball (not including man pages) as man pages contain build-specific paths and values. The documentation with man pages is written to the directory “doc/man-html”. A future patch will extend Sphinx to link occurences of “:manpage:`…`” to these man pages. Signed-off-by: Michael Hanselmann <firstname.lastname@example.org> Reviewed-by: Guido Trotter <email@example.com>41806ef4
To find the state of this project's repository at the time of any of these versions, check out the tags..