| commit | 7cfb4c9d6bc01055ecce7f98db71eac16fa13932 | |
| author | David Aguilar <davvid@gmail.com> | |
| Mon, 17 May 2021 00:46:31 +0000 (16 17:46 -0700) | ||
| committer | David Aguilar <davvid@gmail.com> | |
| Mon, 17 May 2021 00:50:40 +0000 (16 17:50 -0700) | ||
| tree | bf5ab19dbd168d254c961c22f4e1008a0f59d2ed | treesnapshot (tar.gz zip) |
| parent | b086f463b3a1cc0316c904e42bfb294c4b0a94a1 | commitdiff |
doc: disable man page section directories for Sphinx 4.0
Sphinx 4.0 creates man page section directories by default.
Our "install-man" target expects a flat directory structure and
is broken when man page section directories are used.
Sphinx's `man_make_section_directory` option was introduced for
this feature and defaults to `True` in Sphinx 4.0 and `False` in
earlier versions.
Disable the `man_make_section_directory` feature so that we can
build uniformly across Sphinx versions.
Closes #1141
Related-to: https://github.com/sphinx-doc/sphinx/issues/7996
Signed-off-by: David Aguilar <davvid@gmail.com>
Sphinx 4.0 creates man page section directories by default.
Our "install-man" target expects a flat directory structure and
is broken when man page section directories are used.
Sphinx's `man_make_section_directory` option was introduced for
this feature and defaults to `True` in Sphinx 4.0 and `False` in
earlier versions.
Disable the `man_make_section_directory` feature so that we can
build uniformly across Sphinx versions.
Closes #1141
Related-to: https://github.com/sphinx-doc/sphinx/issues/7996
Signed-off-by: David Aguilar <davvid@gmail.com>
| CHANGES.rst | diffblobblamehistory | |
| share/doc/git-cola/conf.py | diffblobblamehistory |