songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

cleanup: flex is not needed anymore at manual build time (since long ago)

This commit is contained in:
Andreas Meyer 2006-03-03 15:17:05 +00:00
parent d984d97c32
commit e358d73dd8
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Manual_tools/src/latex_to_html
View File

@ -9,13 +9,12 @@
# #
# Conversion works in two steps: First all TeX files are converted into # Conversion works in two steps: First all TeX files are converted into
# HTML. Meanwhile the necessary information for the cross links is # 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. # are generated for all HTML files.
# #
# Besides programs and scripts distributed with this LaTeX converter, # Besides programs and scripts distributed with this LaTeX converter,
# the following programs are necessary to run the 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 C Compiler: cc / gcc
# o Perl 5 (for subsequent scripts) # o Perl 5 (for subsequent scripts)
# #
@ -140,7 +139,6 @@ ${BoldColor}Debug-Options:${ResetColor}
${BoldColor}-macroexp${ResetColor} trace macro expansions. ${BoldColor}-macroexp${ResetColor} trace macro expansions.
${BoldColor}-stymacro${ResetColor} trace style macros as well. ${BoldColor}-stymacro${ResetColor} trace style macros as well.
${BoldColor}-stacktrace${ResetColor} stack trace for each error. ${BoldColor}-stacktrace${ResetColor} stack trace for each error.
${BoldColor}-flexwarn${ResetColor} show warnings produced by flex.
EOF EOF
} }
@ -615,7 +613,6 @@ Quiet=0
RealQuiet=0 RealQuiet=0
Verbose=0 Verbose=0
Flex="flex -t -8 -w -Cae"
MakePath="mkdir -p" MakePath="mkdir -p"
set_no_color() { set_no_color() {
@ -760,9 +757,6 @@ while [ $# -gt 0 ]; do
fi fi
ExtractOptions = "$ExtractOptions -sty $1" ExtractOptions = "$ExtractOptions -sty $1"
;; ;;
-flexwarn)
Flex="flex -t -8"
;;
-*) -*)
error_usage 2 "Unknow option $1." error_usage 2 "Unknow option $1."
;; ;;