Adjust todoxygen.sh to TeX4ht outputs.

* doc/tools/todoxygen.sh: Here.

Adjust todoxygen.sh to TeX4ht outputs.
* doc/tools/todoxygen.sh: Here.
ab842943 · Roland Levillain · 6e6e5b7d · ab842943 · ab842943
Commit ab842943 authored Mar 15, 2010 by Roland Levillain
--- a/milena/ChangeLog
+++ b/milena/ChangeLog
+2010-03-15  Roland Levillain  <roland@lrde.epita.fr>
+
+	Adjust todoxygen.sh to TeX4ht outputs.
+
+	* doc/tools/todoxygen.sh: Here.
+
 2010-03-15  Roland Levillain  <roland@lrde.epita.fr>
  
 	Adapt HTML generation to TeX4ht.
--- a/milena/doc/tools/todoxygen.sh
+++ b/milena/doc/tools/todoxygen.sh
@@ -24,7 +24,7 @@ test $# -eq 3 \
 html="$1"
 out="$2/`basename $1 .html`.hh"

-bodyl=`grep -n "<BODY >" $html | cut -d ':' -f 1`
+bodyl=`grep -n -i "<BODY" $html | cut -d ':' -f 1`
 nlines=`wc -l $html | cut -d ' ' -f 1`
 tail_line=$(($nlines - $bodyl))