/usr/bin/sphinx-1.0-build: Command not found

[Gerald Pfeifer <gerald@pfeifer.com>]

The crontab of the gccadmin account invokes 
  /home/gccadmin/scripts/update_web_docs_git 
once a day.

Presumably since the migration this has been failing as follows:

  Output written on libiberty.pdf (52 pages, 356199 bytes).
  Transcript written on libiberty.log.
  /tmp/gcc-doc-update.43504/gcc/gcc/jit/docs /tmp/gcc-doc-update.43504
  /usr/bin/sphinx-1.0-build -b html -d _build/doctrees   . _build/html
  make: /usr/bin/sphinx-1.0-build: Command not found
  make: *** [Makefile:45: html] Error 127
  /tmp/gcc-doc-update.43504
  cp: cannot stat 'gcc/gcc/jit/docs/_build/html': No such file or directory

The script currently has the following comment:

  # The jit is a special-case, using sphinx rather than texinfo.
  # Specifically, the jit docs need sphinx 1.0 or later.
  #
  # The jit/docs Makefile uses the executable $(SPHINXBUILD),
  # defaulting to "sphinx-build".
  #
  # sphinx is packaged in Fedora and EPEL 6 within "python-sphinx",
  # and in openSUSE within "python-Sphinx".
  #
  # For EPEL6, python-sphinx is sphinx 0.6.6, which is missing various
  # directives (e.g. ":c:macro:"), so we need the variant
  # python-sphinx10 package.  The latter installs its executable as
  #   /usr/bin/sphinx-1.0-build
  # so we need to override SPHINXBUILD with this when invoking "make".

David (copied) contributed this piece, so may be able to help with
any questions.

Gerald