On Mon, 20 Oct 2014, David Malcolm wrote: > +Necessary to regenerate @file{jit/docs/_build/texinfo} from the .rst I'd say @file{.rst}, but otherwise looks OK to me. -- Joseph S. Myers joseph@codesourcery.com