diff options
| author | Richard Biener <rguenther@suse.de> | 2025-05-23 13:32:47 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2025-05-23 14:00:40 +0200 |
| commit | d5ff1ccee3f39c4f364f671deb127789b754a6a0 (patch) | |
| tree | f8dde0f8d1ef0e8a63cede453075baa9031796c9 | |
| parent | b3d07ec7ac2ccd935a79b29e1a0e2eb16225286a (diff) | |
| download | gcc-d5ff1ccee3f39c4f364f671deb127789b754a6a0.zip gcc-d5ff1ccee3f39c4f364f671deb127789b754a6a0.tar.gz gcc-d5ff1ccee3f39c4f364f671deb127789b754a6a0.tar.bz2 | |
Conditionalize libgdiagnostic processing on presence
The following makes update_web_docs_git work on branches without
libgdiagnostic.
maintainer_scripts/
* update_web_docs_git: Conditionalize libgdiagnostic processing
on presence.
| -rwxr-xr-x | maintainer-scripts/update_web_docs_git | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git index 4248088..00334dd 100755 --- a/maintainer-scripts/update_web_docs_git +++ b/maintainer-scripts/update_web_docs_git @@ -242,11 +242,15 @@ popd cp -a gcc/gcc/jit/docs/_build/html jit mkdir -p $DOCSDIR/jit -pushd gcc/gcc/doc/libgdiagnostics -make html SPHINXBUILD=$SPHINX_VENV/bin/sphinx-build || true -popd -cp -a gcc/gcc/doc/libgdiagnostics/_build/html libgdiagnostics -mkdir -p $DOCSDIR/libgdiagnostics +LIBGDIAGNOSTICS= +if test -d gcc/gcc/doc/libgdiagnostics; then + pushd gcc/gcc/doc/libgdiagnostics + make html SPHINXBUILD=$SPHINX_VENV/bin/sphinx-build || true + popd + cp -a gcc/gcc/doc/libgdiagnostics/_build/html libgdiagnostics + mkdir -p $DOCSDIR/libgdiagnostics + LIBGDIAGNOSTICS=libgdiagnostics +fi # Work around makeinfo generated file names and references with # "_002d" instead of "-". @@ -298,7 +302,7 @@ done # below them, and with some non-HTML files (.png images from us, # plus .css and .js supplied by sphinx, and source files, renamed # from .rst to .txt). -find jit libgdiagnostics \ +find jit $LIBGDIAGNOSTICS \ -name "*.html" -o -name "*.png" \ -o -name "*.css" -o -name "*.js" \ -o -name "*.txt" | |