gcc-wwwdocs branch master updated. 7bf5cf1e11dfff357a85c54dd5d9d56abbd26653

gcc-wwwdocs branch master updated. 7bf5cf1e11dfff357a85c54dd5d9d56abbd26653

[Jonathan Wakely]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  7bf5cf1e11dfff357a85c54dd5d9d56abbd26653 (commit)
      from  df2bc49fc018c2b1aeb27030fe1967470d0d4ec3 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 7bf5cf1e11dfff357a85c54dd5d9d56abbd26653
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Wed Feb 28 11:14:41 2024 +0000

    Add anchor for contrib/gcc-git-customization.sh docs

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

-----------------------------------------------------------------------

Summary of changes:
 htdocs/gitwrite.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
gcc-wwwdocs