|
From: <sv...@va...> - 2017-09-02 08:33:21
|
Author: iraisr Date: Sat Sep 2 09:33:13 2017 New Revision: 526 Log: Document Valgrind http mirror available at repo.or.cz. Comes handy if you are behind a firewall. Modified: trunk/downloads/repository.html Modified: trunk/downloads/repository.html ============================================================================== --- trunk/downloads/repository.html (original) +++ trunk/downloads/repository.html Sat Sep 2 09:33:13 2017 @@ -8,11 +8,12 @@ properly.</p> <p>The actively developed, current (v3.13 and later) code is in a -<a href="https://git-scm.com/">git</a> repository at sourceware.org.<br /> +<a href="https://git-scm.com/">git</a> repository +at <a href="http://sourceware.org/">sourceware.org</a>. </p> <p>If you are doing any development work, please do it using the -code from the current repository at sourceware.org!</p> +code from the current repository at <code>sourceware.org</code>!</p> <div class="hr_brown"><hr/></div> @@ -45,3 +46,13 @@ <p>To do the build, you'll need automake version 1.10 or later and a compatible version of autoconf (e.g. 2.68). These should come as standard on any non-ancient Linux distribution.</p> + +<p> +There is also an <code>http</code> mirror for the repository set up at +<code>repo.or.cz</code>. You can use it if you are behind a firewall and +cannot tunnel through with <code>socat</code>. To clone from this mirror, +do this:</p> + +<pre> + git clone http://repo.or.cz/valgrind.git +</pre> |