On Wed, Feb 28, 2024 at 11:15:10AM +0000, Jonathan Wakely wrote:
> I'd like to be able to link directly to this part of the page from other
> docs.
>
> OK for wwwdocs?
LGTM.
> diff --git a/htdocs/gitwrite.html b/htdocs/gitwrite.html
> index c89cdb8f..54f8005a 100644
> --- a/htdocs/gitwrite.html
> +++ b/htdocs/gitwrite.html
> @@ -374,7 +374,7 @@ collaborators pull from there.
>
> <p>Scripts exist in the contrib directory to help manage these spaces.</p>
>
> -<h3>contrib/gcc-git-customization.sh</h3>
> +<h3 id="customization">contrib/gcc-git-customization.sh</h3>
>
> <p>This script will help set up your personal area. It will also define
> some aliases that might be useful when developing GCC. The script will
> --
> 2.43.0
Jakub
