github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2024-11-22 12:04:39 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

docs: Unbreak sphinx' man directories

Browse Source 
Apparently new sphinxen want to create an *additional* section
directory, so things end up in /usr/share/fish/man/man1/1, instead of /usr/share/fish/man/man1

Why? No idea.

I can't reproduce it but I'm told this section fixes it.

Fixes #7996
This commit is contained in:
Fabian Homborg 2021-05-13 18:20:47 +02:00
parent 678fa2e6a9
commit 240fb9fd45
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
doc_src/conf.py
View File

@ -210,6 +210,9 @@ def get_command_description(path, name):
return desc.strip()
raise SphinxWarning("No description in file %s" % os.path.basename(path))
# Newer sphinxen apparently create another subdirectory which breaks our man lookup.
# Unbreak it (#7996)
man_make_section_directory = False
# One entry per manual page. List of tuples
# (source start file, name, description, authors, manual section).