On Sat, 8 Feb 2020 at 07:51, Markus Armbruster <arm...@redhat.com> wrote: > Peter Maydell <peter.mayd...@linaro.org> writes: > > It might be sphinx-build-3 on RH, but on Debian/Ubuntu it's > > just 'sphinx-build' assuming you installed the python3-sphinx > > and not the python2-sphinx, or you can run it directly out of > > /usr/share/sphinx/scripts/python3/sphinx-build, or (like > > me) you might have a locally installed 'sphinx-build' which > > is using Python 3. My assumption is that once the python2->3 > > transition has faded into the rear view mirror most distros > > will just have a /usr/bin/sphinx-build that's a Python 3 one. > > Defaulting to sphinx-build-3 if it exists, else sphinx-build would be > nicer for users on some common systems, and wouldn't hurt users on the > other common systems. It's what we do for Python.
Feel free to send a followup patch :-) I have no systems where there is a 'sphinx-build-3' at all. thanks -- PMM