From e358d73dd839b2acdc1e7d6f30a8b05c3b5376c1 Mon Sep 17 00:00:00 2001
From: Andreas Meyer <ameyer@mpi-inf.mpg.de>
Date: Fri, 3 Mar 2006 15:17:05 +0000
Subject: [PATCH] cleanup: flex is not needed anymore at manual build time
 (since long ago)

---
 Manual_tools/src/latex_to_html | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/Manual_tools/src/latex_to_html b/Manual_tools/src/latex_to_html
index 82a3df2d0c3..7ce68631cc0 100755
--- a/Manual_tools/src/latex_to_html
+++ b/Manual_tools/src/latex_to_html
@@ -9,13 +9,12 @@
 #
 #  Conversion works in two steps: First all TeX files are converted into 
 #  HTML. Meanwhile the necessary information for the cross links is 
-#  collected as set of flex-rules. In the second step the hyperlinks
+#  collected as set of rules. In the second step the hyperlinks
 #  are generated for all HTML files.
 #  
 #  Besides programs and scripts distributed with this LaTeX converter,
 #  the following programs are necessary to run the converter
 #
-#    o  flex 2.5.4 + patch (see INSTALLATION file)
 #    o  C Compiler: cc / gcc
 #    o  Perl 5 (for subsequent scripts)
 #
@@ -140,7 +139,6 @@ ${BoldColor}Debug-Options:${ResetColor}
     ${BoldColor}-macroexp${ResetColor}           trace macro expansions.
     ${BoldColor}-stymacro${ResetColor}           trace style macros as well.
     ${BoldColor}-stacktrace${ResetColor}         stack trace for each error.
-    ${BoldColor}-flexwarn${ResetColor}           show warnings produced by flex.
 EOF
 }
 
@@ -615,7 +613,6 @@ Quiet=0
 RealQuiet=0
 Verbose=0
 
-Flex="flex -t -8 -w -Cae"
 MakePath="mkdir -p"
 
 set_no_color() {
@@ -760,9 +757,6 @@ while [ $# -gt 0 ]; do
 	fi
         ExtractOptions = "$ExtractOptions -sty $1"
         ;;
-    -flexwarn)
-        Flex="flex -t -8"
-        ;;
     -*)
         error_usage 2 "Unknow option $1."
         ;;