On Mon, 2015-01-26 at 19:14 -0500, David Malcolm wrote: > On Mon, 2015-01-26 at 15:21 -0700, Jeff Law wrote: > > On 01/26/15 09:42, David Malcolm wrote: > > > > > update_web_docs_svn-support-the-JIT-documention-v2.patch > > > > > > > > > From 7f7e15881981228e51b347f23df6e3106ddd68ea Mon Sep 17 00:00:00 2001 > > > From: David Malcolm<dmalc...@redhat.com> > > > Date: Fri, 23 Jan 2015 17:26:57 -0500 > > > Subject: [PATCH] update_web_docs_svn: support the JIT documentation > > > > > > maintainer-scripts/ChangeLog: > > > * update_web_docs_svn: Don't delete gcc/jit/docs or > > > gcc/jit/jit-common.h, gcc/jit/notes.txt. Special case the > > > building of the jit docs (using sphinx-build). Special case > > > copying them up. > > OK. > > Thanks. > > I've committed this to trunk as r220149. > > Does this automatically get propagated to the machine that builds the > website (and thus would be run next time the relevant cronjob runs)? > Or does someone need to do additional work for this to "go live"? (if > nothing else, the machine needs to have sphinx-build in its $PATH, as > noted in the patch).
Ping re ^^^^^ I'm hoping to have the jit docs on the gcc website. In the best of all worlds, with r220149, the jit docs might have appeared at: https://gcc.gnu.org/onlinedocs/jit but that's currently a 404. Presumably, some machine needs to have the relevant sphinx packaged installed (if that's OK [1]), and perhaps the update to the update_web_docs_svn script needs to make it onto that machine? Or is this more appropriate for the "overseers" list? Thanks Dave [1] otherwise, do I need to look into another way of getting the docs built for the site?