Committed.
Segher --- htdocs/git.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/htdocs/git.html b/htdocs/git.html index 66d68eb..7fd22a9 100644 --- a/htdocs/git.html +++ b/htdocs/git.html @@ -44,7 +44,7 @@ through, you can replace <code>git://</code> with <code>https://</code>. <p>If there is another local repository accessible you can avoid re-downloading everything by using <code>--reference</code>, e.g.</p> -<blockquote><code>git clone --reference original-gcc --dissociate ssh://gcc.gnu.org/git.gcc.git new-gcc</code></blockquote> +<blockquote><code>git clone --reference original-gcc --dissociate ssh://gcc.gnu.org/git/gcc.git new-gcc</code></blockquote> <p>But if you own this other copy, you probably want to use separate <a href="#worktrees">worktrees</a> instead of multiple clones. -- 1.8.3.1
