[6456] htmlxref.cnf flex

[Gavin D. Smith]

Revision: 6456
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=6456
Author:   gavin
Date:     2015-07-24 08:27:57 +0000 (Fri, 24 Jul 2015)
Log Message:
-----------
htmlxref.cnf flex

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

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2015-07-24 07:18:16 UTC (rev 6455)
+++ trunk/ChangeLog     2015-07-24 08:27:57 UTC (rev 6456)
@@ -1,3 +1,8 @@
+2015-07-24  Carlos O'Donell  <address@hidden> (tiny change)
+
+       * util/htmlxref.cnf (flex): Add entries pointing to
+       http://flex.sourceforge.net.
+
 2015-07-24  Arnold D. Robbins     <address@hidden>
 
        * doc/texinfo.texi: Minor updates with respect to name / spelling

Modified: trunk/util/htmlxref.cnf
===================================================================
--- trunk/util/htmlxref.cnf     2015-07-24 07:18:16 UTC (rev 6455)
+++ trunk/util/htmlxref.cnf     2015-07-24 08:27:57 UTC (rev 6456)
@@ -229,6 +229,10 @@
 findutils      mono    ${GS}/findutils/manual/html_mono/find.html
 findutils      node    ${GS}/findutils/manual/html_node/find_html
 
+FLEX = http://flex.sourceforge.net
+flex           mono    ${FLEX}/manual/index.html
+flex           node    ${FLEX}/manual/
+
 gama           mono    ${GS}/gama/manual/gama.html
 gama           node    ${GS}/gama/manual/html_node/