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

8.8 KiB

Raw Blame History

View Raw