diff --git a/doc/git-howto.texi b/doc/git-howto.texi
index 075b188abe..0a8d8de1d7 100644
--- a/doc/git-howto.texi
+++ b/doc/git-howto.texi
@@ -71,7 +71,6 @@ git clone git@@ffmpeg.org:ffmpeg-web <target>
 
 This will put the source of the FFmpeg website into the directory
 @var{<target>} and let you push back your changes to the remote repository.
-(Note that @var{gil} stands for GItoLite and is not a typo of @var{git}.)
 
 If you don't have write-access to the ffmpeg-web repository, you can
 create patches after making a read-only ffmpeg-web clone: