Fabian Homborg 240fb9fd45 docs: Unbreak sphinx' man directories ...

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

2021-05-13 18:20:47 +02:00

..

cmds

docs: Clean up set a bit

2021-05-12 18:52:24 +02:00

python_docs_theme

docs: Handle undefined LINK_SUFFIX

2021-04-25 09:42:02 +02:00

commands.rst

We no longer have two doc systems, move sphinx_doc_src back to doc_src

2020-02-19 17:00:35 -08:00

completions.rst

docs: Replace all internal links with :ref:s

2021-03-26 19:32:14 +01:00

conf.py

docs: Unbreak sphinx' man directories

2021-05-13 18:20:47 +02:00

design.rst

Make rationale spacing consistent

2020-10-12 20:25:35 +02:00

faq.rst

docs: Add missing newline

2021-04-11 18:44:19 +02:00

fish_for_bash_users.rst

Fish for bash users: Fix missing word and link it from index

2021-01-22 16:23:09 +01:00

fish_indent_lexer.py

Highlight keywords differently

2021-02-07 21:18:51 +01:00

index.rst

docs: Remove "note that"

2021-05-03 18:39:54 +02:00

interactive.rst

docs: Document enter/alt+enter harder

2021-05-04 20:00:46 +02:00

language.rst

docs: A bit on index ranges

2021-05-12 19:40:43 +02:00

license.rst

Update copyright years

2021-05-03 13:12:11 +02:00

relnotes.rst

docs: call the CHANGELOG "release notes"

2021-02-25 22:46:24 +08:00

tutorial.rst

docs: Remove "note that"

2021-05-03 18:39:54 +02:00