X-Git-Url: https://review.openocd.org/gitweb?a=blobdiff_plain;f=doc%2Fopenocd.texi;h=11bd7e0aa80cbb7005f7e48fec8655f003d51526;hb=f525f2ef0d95f68d5db02849133f730baa245812;hp=fc971db203f6c7a20a4aa3d2486a99303c52b294;hpb=03c9e48f88fa8b681b77c6c35d6da0a0e838a7e8;p=openocd.git

diff --git a/doc/openocd.texi b/doc/openocd.texi
index fc971db203..11bd7e0aa8 100644
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -177,6 +177,10 @@ a GIT repository hosted at SourceForge.  The repository URL is:
 
 @uref{git://openocd.git.sourceforge.net/gitroot/openocd/openocd}
 
+You may prefer to use a mirror and the HTTP protocol:
+
+@uref{http://repo.or.cz/r/openocd.git}
+
 With standard GIT tools, use @command{git clone} to initialize
 a local repository, and @command{git pull} to update it.
 There are also gitweb pages letting you browse the repository
@@ -185,6 +189,8 @@ needing a GIT client:
 
 @uref{http://openocd.git.sourceforge.net/git/gitweb.cgi?p=openocd/openocd}
 
+@uref{http://repo.or.cz/w/openocd.git}
+
 The @file{README} file contains the instructions for building the project
 from the repository or a snapshot.