[5422] htmlxref

[karl]

Revision: 5422
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=5422
Author:   karl
Date:     2014-03-19 17:54:56 +0000 (Wed, 19 Mar 2014)
Log Message:
-----------
htmlxref

Modified Paths:
--------------
    trunk/ChangeLog
    trunk/util/htmlxref.cnf

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2014-03-17 14:47:40 UTC (rev 5421)
+++ trunk/ChangeLog     2014-03-19 17:54:56 UTC (rev 5422)
@@ -1,3 +1,8 @@
+2014-03-19  Karl Berry  <address@hidden>
+
+       * util/htmlxref.cnf (gdbint): gone (reported by Ineiev).
+       (thales): new.
+
 2014-03-17  Karl Berry  <address@hidden>
 
        * doc/texinfo.tex (\headitem): \gdef\headitemcrhook{\nobreak}

Modified: trunk/util/htmlxref.cnf
===================================================================
--- trunk/util/htmlxref.cnf     2014-03-17 14:47:40 UTC (rev 5421)
+++ trunk/util/htmlxref.cnf     2014-03-19 17:54:56 UTC (rev 5422)
@@ -1,6 +1,6 @@
 # htmlxref.cnf - reference file for free Texinfo manuals on the web.
 
-htmlxrefversion=2013-12-25.23; # UTC
+htmlxrefversion=2014-03-19.17; # UTC
 
 # Copyright 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
 # 
@@ -256,7 +256,6 @@
 
 GDB = http://sourceware.org/gdb/current/onlinedocs
 gdb            node    ${GDB}/gdb/
- gdbint                node    ${GDB}/gdbint/
  stabs         node    ${GDB}/stabs/
 
 GDBM = http://www.gnu.org.ua/software/gdbm/manual
@@ -596,6 +595,8 @@
  info-stnd     mono    ${TEXINFO}/info-stnd/info-stnd.html
  info-stnd     node    ${TEXINFO}/info-stnd/html_node/
 
+thales         node    ${GS}/thales/manual/
+
 units          mono    ${GS}/units/manual/units.html
 units          node    ${GS}/units/manual/html_node/