diff options
author | Martin Liska <mliska@suse.cz> | 2022-07-25 15:57:32 +0200 |
---|---|---|
committer | Martin Liska <mliska@suse.cz> | 2022-07-28 12:38:09 +0200 |
commit | c6894e1ddecce2d77b03cbfa0f43c425f884228c (patch) | |
tree | 262af1882c5db2141c9b3c529db8b570bfc72212 /maintainer-scripts/update_web_docs_git | |
parent | 75a392d0317ee0a5af1fdcb0669322df96b34f80 (diff) | |
download | gcc-c6894e1ddecce2d77b03cbfa0f43c425f884228c.zip gcc-c6894e1ddecce2d77b03cbfa0f43c425f884228c.tar.gz gcc-c6894e1ddecce2d77b03cbfa0f43c425f884228c.tar.bz2 |
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.
Diffstat (limited to 'maintainer-scripts/update_web_docs_git')
-rwxr-xr-x | maintainer-scripts/update_web_docs_git | 21 |
1 files changed, 6 insertions, 15 deletions
diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git index 996d29b..6c38e21 100755 --- a/maintainer-scripts/update_web_docs_git +++ b/maintainer-scripts/update_web_docs_git @@ -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 |