Both gccjit and gnat now use sphinx to build the documentation. While not a direct part of the build process, it would be nice to document the requirements on sphinx, and agree on a common version used to generate that documentation.
Coming from a distro background where I have to "build from source", I know that sphinx is a bit less stable than say doxygen and texinfo. So some kind of version information, about not using sphinx plugins, etc. would be appreciated. thanks, Matthias
