Bug: INSTALL should mention python3-sphinx not python-sphinx

[Daniel Kahn Gillmor]

On Wed 2018-01-10 16:38:18 +0100, Antoine Amarilli wrote:

> In the current master (a727e7d4d398375c4a3ba5020e2ab25b5b874785),
> INSTALL contains:
>
>   For Debian and similar:
>
>         sudo apt-get install libxapian-dev libgmime-3.0-dev libtalloc-dev zlib1g-dev python-sphinx
>
> However it seems like what is currently used is python3-sphinx, cf
> commit 03f4f75124c6d9882b8306873e8908aac9eee2bb. At least on my system,
> when I have just python-sphinx installed instead of python3-sphinx,
> ./configure says it will not build man pages, whereas it works with
> python3-sphinx.
>
> So I think the line above should be changed.

woops, this sounds correct to me.  it would actually have built manpages
if you didn't have python3 installed at all :) but sensible machines do
have python3 these days, so we should be optimizing for those
situations.

> Probably the Fedora line just below needs to be changed too, but I
> don't know how their packaging work (do they have a python3-sphinx
> package or not).

https://developer.fedoraproject.org/tech/languages/python/sphinx.html
suggests that they do have one with the same name.

         --dkg