gcc-wwwdocs branch master updated. c4df04644677895890df1c0dc24c6f3c157f90a8

gcc-wwwdocs branch master updated. c4df04644677895890df1c0dc24c6f3c157f90a8

[jsm28]

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  c4df04644677895890df1c0dc24c6f3c157f90a8 (commit)
      from  3af4155933a9d3b8506b56c16865879b098ab4cf (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 c4df04644677895890df1c0dc24c6f3c157f90a8
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Tue Jan 14 23:36:33 2020 +0000

    Correct git config command syntax.
    
    There is no --set option, git config sets variables without such an
    option.

diff --git a/htdocs/gitwrite.html b/htdocs/gitwrite.html
index 85a0da2..f420fe2 100644
--- a/htdocs/gitwrite.html
+++ b/htdocs/gitwrite.html
@@ -78,7 +78,7 @@ git clone git+ssh://<i>username</i>@gcc.gnu.org/git/gcc.git gcc
 using <code>git config</code>:</p>
 
 <blockquote><p><code>
-git config --set remote.origin.url git+ssh://<i>username</i>@gcc.gnu.org/git/gcc.git
+git config remote.origin.url git+ssh://<i>username</i>@gcc.gnu.org/git/gcc.git
 </code></p></blockquote>
 
 <p>To avoid the nuisance of having to supply your passphrase for each

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

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


hooks/post-receive
-- 
gcc-wwwdocs