texinfo ChangeLog util/htmlxref.cnf

[karl]

CVSROOT:        /sources/texinfo
Module name:    texinfo
Changes by:     karl <karl>     12/12/29 17:08:28

Modified files:
        .              : ChangeLog 
        util           : htmlxref.cnf 

Log message:
        gmp from gmplib.org

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/texinfo/ChangeLog?cvsroot=texinfo&r1=1.1486&r2=1.1487
http://cvs.savannah.gnu.org/viewcvs/texinfo/util/htmlxref.cnf?cvsroot=texinfo&r1=1.60&r2=1.61

Patches:
Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.1486
retrieving revision 1.1487
diff -u -b -r1.1486 -r1.1487
--- ChangeLog   29 Dec 2012 17:07:39 -0000      1.1486
+++ ChangeLog   29 Dec 2012 17:08:28 -0000      1.1487
@@ -1,5 +1,7 @@
 2012-12-29  Karl Berry  <address@hidden>
 
+       * util/htmlxref.cnf (gmp): use up-to-date version on gmplib.org.
+
        * util/srclist.txt (missing): sync from $AUTOMAKE.
        
 2012-12-29  gettextize  <address@hidden>

Index: util/htmlxref.cnf
===================================================================
RCS file: /sources/texinfo/texinfo/util/htmlxref.cnf,v
retrieving revision 1.60
retrieving revision 1.61
diff -u -b -r1.60 -r1.61
--- util/htmlxref.cnf   11 Dec 2012 22:16:10 -0000      1.60
+++ util/htmlxref.cnf   29 Dec 2012 17:08:28 -0000      1.61
@@ -1,6 +1,6 @@
 # htmlxref.cnf - reference file for free Texinfo manuals on the web.
 
-htmlxrefversion=2012-12-11.22; # UTC
+htmlxrefversion=2012-12-22.02; # UTC
 
 # Copyright 2010, 2011, 2012 Free Software Foundation, Inc.
 # 
@@ -260,8 +260,7 @@
 
 gmediaserver   node    ${GS}/gmediaserver/manual/
 
-gmp            mono    ${GS}/gmp/manual/html_mono/gmp.html
-gmp            node    ${GS}/gmp/manual/html_node/
+gmp            node    http://www.gmplib.org/manual/
 
 gnu-arch       node    ${GS}/gnu-arch/tutorial/