mirror of
https://github.com/gcc-mirror/gcc.git
synced 2024-11-21 13:40:47 +00:00
contrib: use sphinx-build from a venv
maintainer-scripts/ChangeLog: * update_web_docs_git: Use sphinx-build from a venv so that we can use a recent version.
This commit is contained in:
parent
75a392d031
commit
c6894e1dde
@ -176,23 +176,14 @@ for file in $MANUALS; do
|
||||
fi
|
||||
done
|
||||
|
||||
# The jit is a special-case, using sphinx rather than texinfo.
|
||||
# Specifically, the jit docs need sphinx 1.0 or later.
|
||||
# The jit is a special-case, using Sphinx rather than texinfo.
|
||||
# Specifically, the jit docs need Sphinx 3.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",
|
||||
# in RHEL 8 within "python3-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 needed to override SPHINXBUILD with this when invoking "make".
|
||||
# Use the Sphinx installed in a virtual environment so that
|
||||
# we don't depend on a system package.
|
||||
|
||||
pushd gcc/gcc/jit/docs
|
||||
make html || true
|
||||
make html SPHINXBUILD=/home/gccadmin/venv/bin/sphinx-build || true
|
||||
popd
|
||||
cp -a gcc/gcc/jit/docs/_build/html jit
|
||||
mkdir -p $DOCSDIR/jit
|
||||
|
Loading…
Reference in New Issue
Block a user