Commit 7252a724 authored by David Brownell's avatar David Brownell
Browse files

Houston, we have Mirror!

parent 8a162e5e
......@@ -385,6 +385,11 @@ choice from the main repository:
You may prefer to use a mirror:
Using the GIT command line client, you might use the following command
to set up a local copy of the current repository (make sure there is no
directory called "openocd" in the current directory):
......@@ -399,6 +404,7 @@ There is also a gitweb interface, which you can use either to browse
the repository or to downlad arbitrary snapshots using HTTP:
Snapshots are compressed tarballs of the source tree, about 1.3 MBytes
each at this writing.
......@@ -177,6 +177,10 @@ a GIT repository hosted at SourceForge. The repository URL is:
You may prefer to use a mirror and the HTTP protocol:
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:
The @file{README} file contains the instructions for building the project
from the repository or a snapshot.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment