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. Gerald