diff options
| author | James Zern <jzern@google.com> | 2015-04-22 14:17:19 -0700 |
|---|---|---|
| committer | James Zern <jzern@google.com> | 2015-04-23 23:56:21 -0700 |
| commit | acb07f33c40c2aaca7b26e5046048ca628643803 (patch) | |
| tree | edd94c2b86651e781ae33174a52511c1aab5003a /doc/git-howto.texi | |
| parent | 0f776df09e0ba3f45543f0bc9d32a1decb5e5fb2 (diff) | |
| download | ffmpeg-acb07f33c40c2aaca7b26e5046048ca628643803.tar.gz | |
git-howto.texi: fix a typo
replace 'Refer to and to sync...' with a reference to the section that
discusses updated the source tree.
Reviewed-by: Timothy Gu <timothygu99@gmail.com>
Reviewed-by: Michael Niedermayer <michaelni@gmx.at>
Signed-off-by: James Zern <jzern@google.com>
Diffstat (limited to 'doc/git-howto.texi')
| -rw-r--r-- | doc/git-howto.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/git-howto.texi b/doc/git-howto.texi index 8ece341321..b7b5d43480 100644 --- a/doc/git-howto.texi +++ b/doc/git-howto.texi @@ -75,6 +75,7 @@ git config --global core.autocrlf false @end example +@anchor{Updating the source tree to the latest revision} @section Updating the source tree to the latest revision @example @@ -330,7 +331,7 @@ git push Will push the changes to the default remote (@var{origin}). Git will prevent you from pushing changes if the local and remote trees are -out of sync. Refer to and to sync the local tree. +out of sync. Refer to @ref{Updating the source tree to the latest revision}. @example git remote add <name> <url> |