[Bug jit/64257] JIT documentation is not yet on the GCC website

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64257

--- Comment #7 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Author: dmalcolm
Date: Wed Feb  4 19:11:48 2015
New Revision: 220412

URL: https://gcc.gnu.org/viewcvs?rev=220412&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/jit/ChangeLog
    trunk/gcc/jit/docs/conf.py
    trunk/maintainer-scripts/ChangeLog
    trunk/maintainer-scripts/update_web_docs_svn