On Wed, 2015-02-04 at 19:47 +0100, Gerald Pfeifer wrote: > On Wednesday 2015-02-04 13:32, David Malcolm wrote: > > OK for trunk? > > > > gcc/jit/ChangeLog: > > PR jit/64257 > > * docs/conf.py (html_theme): Change from 'pyramid' > > to 'sphinxdoc'. > > > > maintainer-scripts/ChangeLog: > > PR jit/64257 > > * update_web_docs_svn: Update build of jit docs to use EPEL6 > > variant install of sphinx 1.0.8, rather than 0.6.6. > > Yes. > > > +# python-sphinx10 package. The latter installs its executable as: > > Here I'd omit the colon, but that is more of a stylistic question > I guess.
Thanks. I've committed it to svn trunk as r220412, omitting the colon. Gerald: Please can you do the "svn up" on the relevant machine again, so that it gets the updated "update_web_docs_svn"? Hopefully this will fix the cronjob... Dave
