X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=README;h=0ba6f76b3ca36272470d4efe44d6f822486f9149;hp=741432302e613de2b2ab589c41f2321fbdefcc8b;hb=9b1f9810b090958bb4a669034173a01683c6e3e9;hpb=03c9e48f88fa8b681b77c6c35d6da0a0e838a7e8

diff --git a/README b/README
index 741432302e..0ba6f76b3c 100644
--- a/README
+++ b/README
@@ -258,6 +258,9 @@ options may be available there:
   --enable-httpd          Enable builtin httpd server - useful for standalone
                           OpenOCD implementations
 
+  --disable-doxygen-html Disable building Doxygen manual as HTML.
+  --enable-doxygen-pdf   Enable building Doxygen manual as PDF.
+
 Miscellaneous Configure Options
 -------------------------------
 
@@ -385,6 +388,11 @@ choice from the main repository:
 
    git://openocd.git.sourceforge.net/gitroot/openocd/openocd
 
+You may prefer to use a mirror:
+
+   http://repo.or.cz/r/openocd.git
+   git://repo.or.cz/openocd.git
+
 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 +407,7 @@ There is also a gitweb interface, which you can use either to browse
 the repository or to downlad arbitrary snapshots using HTTP:
 
    http://openocd.git.sourceforge.net/git/gitweb.cgi?p=openocd/openocd
+   http://repo.or.cz/w/openocd.git
 
 Snapshots are compressed tarballs of the source tree, about 1.3 MBytes
 each at this writing.