On 14/02/19 16:24, Peter Maydell wrote: > It does check, but I forgot to make the makefiles pay attention > to the check. > > That's very irritating that Fedora is using a weird filename for > the tool -- what is their justification for doing that? > I suppose we'll have to make configure cope :-(
They do have sphinx-build but it uses Python 2. If you only install the Python 3 version, you get sphinx-build-3. I think it will be switched in Fedora 30, but I'm not sure. Paolo