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
jos...@codesourcery.com

Reply via email to