On Feb 26, 2015, at 9:07 AM, David Malcolm <dmalc...@redhat.com> wrote:
>> 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).
>
> The specific version of sphinx in use for gcc.gnu.org is 1.0.8
So, if people check in the generated files, then I think we should just bump
the version required up to one that works well. The people that want to regen
will need to ensure they update, but that seems reasonable.
> gcc/doc/install.texi currently has:
>
> @item Sphinx version 1.0 (or later)
>
> Necessary to regenerate @file{jit/docs/_build/texinfo} from the @file{.rst}
> files in the directories below @file{jit/docs}.
>
> so that too would need updating if you want to bump the minimum
> requirement.
