[Gmp-commit] /var/hg/www: Updates for 5.1. Misc improvements.

[mercurial at gmplib.org]

details:   /var/hg/www/rev/894ede40b253
changeset: 27:894ede40b253
user:      Torbjorn Granlund <tege at gmplib.org>
date:      Tue Feb 12 10:03:29 2013 +0100
description:
Updates for 5.1.  Misc improvements.

diffstat:

 devel/repo-usage.html |  26 ++++++++++++++------------
 1 files changed, 14 insertions(+), 12 deletions(-)

diffs (60 lines):

diff -r c189eb973a40 -r 894ede40b253 devel/repo-usage.html
--- a/devel/repo-usage.html	Mon Feb 11 23:23:01 2013 +0100
+++ b/devel/repo-usage.html	Tue Feb 12 10:03:29 2013 +0100
@@ -51,26 +51,28 @@
 <blockquote>
 <code>hg clone http://gmplib.org:8000/gmp TARGDIR</code>
 </blockquote>
+</p>
 <p>for the unstable development version, or
 <blockquote>
-<code>hg clone http://gmplib.org:8000/gmp-5.0 TARGDIR</code>
+<code>hg clone http://gmplib.org:8000/gmp-5.1 TARGDIR</code>
 </blockquote>
-<p>for the current patch level of GMP 5.0, or
-<blockquote>
-<code>hg clone http://gmplib.org:8000/gmp-4.3 TARGDIR</code>
-</blockquote>
-<p>for the current patch level of GMP 4.3.
+<p>for the current patch level of GMP 5.1.
+</p>
 
+<p> A list of all repositories we publish are available at
+<a href="http://gmplib.org:8000">gmplib.org:8000</a>.
+</p>
 
 <p> See also
 the <a href="http://mercurial.selenic.com/wiki/QuickStart">
 Mercurial quickstart guide</a>.
 </p>
 
-<p> Once you have your own repository, you need to generate some build
-files.  Perhaps the script <code>.bootstrap</code> works out-of-the
-box; if it doesn't, you need to install automake-1.8 and autoconf (at
-least version 2.59) and then try <code>.bootstrap</code> again.
+<p> Once you have your own repository, you need to generate some build files.
+Perhaps the script <code>.bootstrap</code> works out-of-the box; if it doesn't,
+you need to install automake (at least version 1.11.6) and autoconf (at least
+version 2.59) and then try <code>.bootstrap</code> again.  You may safely
+ignore the 4 lines of warnings from <code>libtoolize</code>.
 </p>
 
 <p> Now you should be able to build GMP as usually, i.e., with
@@ -83,7 +85,7 @@
 
 
 <br><br>
-<font size="-4">Last modified: 2012-11-06 </font>
+<font size="-4">Last modified: 2013-02-12 </font>
 
   <div id="footer-spacer"></div>
 
@@ -101,7 +103,7 @@
   <tr>
     <td align="center">
       <font size="-3">
-	Copyright 2012 Free Software Foundation
+	Copyright 2012, 2013 Free Software Foundation
       </font>
     </td>
   </tr>