On Fri, May 23, 2025 at 01:34:35PM +0200, Richard Biener wrote:
> The following makes update_web_docs_git work on branches without
> libgdiagnostic.
>
> I'm re-running update_web_docs_git with this, OK if it succeeds now?
>
> Thanks,
> Richard.
>
> maintainer_scripts/
> * update_web_docs_git: Conditionalize libgdiagnostic processing
> on presence.
LGTM.
> --- a/maintainer-scripts/update_web_docs_git
> +++ b/maintainer-scripts/update_web_docs_git
> @@ -242,11 +242,13 @@ 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
> +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
> +fi
>
> # Work around makeinfo generated file names and references with
> # "_002d" instead of "-".
> --
> 2.43.0
Jakub
