Merge pull request #8284 from tk0miya/7996_man_make_section_directory_by_default

Close #7996: manpage: Make a section directory on build manpage by default
This commit is contained in:
Takeshi KOMIYA
2020-10-28 11:03:13 +09:00
committed by GitHub
5 changed files with 14 additions and 10 deletions

View File

@@ -2253,10 +2253,12 @@ These options influence manual page output.
.. confval:: man_make_section_directory
If true, make a section directory on build man page. Default is False.
If true, make a section directory on build man page. Default is True.
.. versionadded:: 3.3
.. versionchanged:: 4.0
The default is changed to ``False`` from ``True``.
.. _texinfo-options: