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

2024-02-28 Thread Jakub Jelinek
On Wed, Feb 28, 2024 at 11:15:10AM +, 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.
>  
>  Scripts exist in the contrib directory to help manage these spaces.
>  
> -contrib/gcc-git-customization.sh
> +contrib/gcc-git-customization.sh
>  
>  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



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

2024-02-28 Thread Jonathan Wakely
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(-)

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.
 
 Scripts exist in the contrib directory to help manage these spaces.
 
-contrib/gcc-git-customization.sh
+contrib/gcc-git-customization.sh
 
 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