[6462] no mono version of flex manual

[karl]

Revision: 6462
          http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=6462
Author:   karl
Date:     2015-07-24 22:29:51 +0000 (Fri, 24 Jul 2015)
Log Message:
-----------
no mono version of flex manual

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

Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog     2015-07-24 18:02:43 UTC (rev 6461)
+++ trunk/ChangeLog     2015-07-24 22:29:51 UTC (rev 6462)
@@ -1,3 +1,7 @@
+2015-07-24  Karl Berry  <address@hidden>
+
+       * util/htmlxref.cnf (flex): no mono manual.
+
 2015-07-25  Gavin Smith  <address@hidden>
 
        * doc/refcard/txirefcard.texi: 'h' for Info tutorial, not 'H'.

Modified: trunk/util/htmlxref.cnf
===================================================================
--- trunk/util/htmlxref.cnf     2015-07-24 18:02:43 UTC (rev 6461)
+++ trunk/util/htmlxref.cnf     2015-07-24 22:29:51 UTC (rev 6462)
@@ -1,6 +1,6 @@
 # htmlxref.cnf - reference file for free Texinfo manuals on the web.
 
-htmlxrefversion=2015-04-24.10; # UTC
+htmlxrefversion=2015-07-24.22; # UTC
 
 # Copyright 2010, 2011, 2012, 2013, 2014, 2015 Free Software Foundation, Inc.
 # 
@@ -230,7 +230,6 @@
 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