[FFmpeg-devel] [PATCH] git-howto: mention how to clone ffmpeg-web

[Andreas Cadhalpun]

Signed-off-by: Andreas Cadhalpun <Andreas.Cadhalpun at googlemail.com>
---
 doc/git-howto.texi | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/git-howto.texi b/doc/git-howto.texi
index bf37bcc..88b9926 100644
--- a/doc/git-howto.texi
+++ b/doc/git-howto.texi
@@ -65,6 +65,14 @@ git clone git@@source.ffmpeg.org:ffmpeg <target>
 This will put the FFmpeg sources into the directory @var{<target>} and let
 you push back your changes to the remote repository.
 
+ at example
+git clone gil@@ffmpeg.org:ffmpeg-web <target>
+ at end example
+
+This will put the source of the FFmpeg website into the directory
+ at var{<target>} and let you push back your changes to the remote repository.
+(Note that @var{gil} is not a typo of @var{git}.)
+
 Make sure that you do not have Windows line endings in your checkouts,
 otherwise you may experience spurious compilation failures. One way to
 achieve this is to run
-- 
2.6.2