More fixes for update_web_docs_svn for jit docs (PR jit/64257)
commitabc57c6a8e1b32fdf820830a28b2dd3d75aa5603
authordmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 4 Feb 2015 19:11:48 +0000 (4 19:11 +0000)
committerdmalcolm <dmalcolm@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 4 Feb 2015 19:11:48 +0000 (4 19:11 +0000)
treeb4fb9d7b5429da6c2b1326d28422c5e129557b56
parent70f81790e504c1ca442f1423128bd2983dce7d62
More fixes for update_web_docs_svn for jit docs (PR jit/64257)

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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220412 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/jit/ChangeLog
gcc/jit/docs/conf.py
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs_svn