diff mbox series

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

Message ID 20240228111534.159336-1-jwakely@redhat.com
State New
Headers show
Series [wwwdocs] Add anchor for contrib/gcc-git-customization.sh docs | expand

Commit Message

Jonathan Wakely Feb. 28, 2024, 11:15 a.m. UTC 
I'd like to be able to link directly to this part of the page from other
docs.

OK for wwwdocs?

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

Comments

Jakub Jelinek Feb. 28, 2024, 11:20 a.m. UTC | #1 
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
diff mbox series

Patch

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