make install-man fails

[di72nn]

Building using the AUR package:

...
sphinx-build -b man -d _build/doctrees  -a . _build/man
Running Sphinx v4.0.1
loading pickled environment... done
building [mo]: all of 0 po files
building [man]: all source files
updating environment: 0 added, 0 changed, 0 removed
looking for now-outdated files... none found
writing... 1/git-cola.1 { } 1/git-dag.1 { } done
build succeeded.

The manual pages are in _build/man.
mkdir -p /tmp/makepkg-build/git-cola/pkg/git-cola/usr/share/man/man1
install -m 644 _build/man/git-cola.1 /tmp/makepkg-build/git-cola/pkg/git-cola/usr/share/man/man1
install: cannot stat '_build/man/git-cola.1': No such file or directory
make[1]: *** [Makefile:96: install-man] Error 1
make[1]: Leaving directory '/tmp/makepkg-build/git-cola/src/git-cola-3.9/share/doc/git-cola'
make: *** [Makefile:184: install-doc] Error 2

$ tree /tmp/makepkg-build/git-cola/src/git-cola-3.9/share/doc/git-cola/_build/man/
/tmp/makepkg-build/git-cola/src/git-cola-3.9/share/doc/git-cola/_build/man/
└── 1
    ├── git-cola.1
    └── git-dag.1

May have something to do with the recently updated python-sphinx 4.0.1.

[davvid]

Thanks for the heads-up. It works locally here, but I'm using Sphinx 3.5.1 (just what I happen to have in my older virtualenv) compared to Sphinx 4.0.1 as mentioned in the log output above.

This issue seems to be related: sphinx-doc/sphinx#7996

I think what we have to do is set man_make_section_directory = False in our conf.py. I'll try that out shortly.