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). Dave
