[PATCH] More fixes for update_web_docs_svn for jit docs (PR jit/64257)

[Gerald Pfeifer]

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