On Wed, 25 Feb 2015, Arnaud Charlet wrote: > > See the existing code to handle Sphinx documentation for the JIT. > > That's a good reference. We'll need a more recent version of sphinx than > 1.0 though (at least 1.2.2, or even better, 1.3b2 which is the version we use > at AdaCore).
1.0 is apparently the most recent version readily available for RHEL 6 which gcc.gnu.org runs. -- Joseph S. Myers jos...@codesourcery.com
