summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorDavid Brownell <dbrownell@users.sourceforge.net>2009-10-07 19:11:37 -0700
committerDavid Brownell <dbrownell@users.sourceforge.net>2009-10-07 19:11:37 -0700
commit7252a72465d8776f49fb6bf7b46a3942bbd53ba8 (patch)
treef48345f484e579dd6e117559170d2802bcd47b3d /doc
parent8a162e5e063fbbd6be04568e29633fad8f8b6720 (diff)
downloadopenocd_libswd-7252a72465d8776f49fb6bf7b46a3942bbd53ba8.tar.gz
openocd_libswd-7252a72465d8776f49fb6bf7b46a3942bbd53ba8.tar.bz2
openocd_libswd-7252a72465d8776f49fb6bf7b46a3942bbd53ba8.tar.xz
openocd_libswd-7252a72465d8776f49fb6bf7b46a3942bbd53ba8.zip
Houston, we have Mirror!
Diffstat (limited to 'doc')
-rw-r--r--doc/openocd.texi6
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi
index fc971db2..11bd7e0a 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.