- echo "<li> $FILE (language:$LANG name:$NAME)"
- fi)
- if grep -q '^;;;' $FILE; then
- sed -n -e '/^;;;/ p' $FILE | sed -e '/^[^;]/ s/$/<br>/' -e '/^;;;/ s/^;;; *//' | sed -e 's,^||,<tr><td align="center">,' -e 's,||$,</td></tr>,' -e 's,|,</td><td align="center">,g'
+# title=`sed -n -e '/^(title/s/(title \("[^"]*"\).*$/\1/p' $FILE`
+ file=`basename $FILE`
+ base=`basename $file .mim`
+ dir=`dirname $FILE`
+ dir=`dirname $dir`
+ icon="$dir/icons/$base.png"
+ if [ -f "$icon" ] ; then
+ [ -f "images/icon-$base.png" ] || cp "$icon" "images/icon-$base.png"
+ fi
+ HEADER="<li> $base (language:$LNG name:$NAME @htmlonly"
+# if test -n "$title"; then
+# HEADER="$HEADER title:$title"
+# fi
+ HEADER2="<img src=\"icon-$base.png\" style=\"vertical-align:middle;\">"
+ HEADER3="@endhtmlonly"
+ HEADER4=")"
+ fi
+ echo "$HEADER"
+ if test -n "$HEADER2"; then
+ echo "$HEADER2"; echo "$HEADER3"; echo "$HEADER4"
+ fi
+ echo
+ sed -n -e '/^;;;/ p' $FILE | sed -e '/^[^;]/ s/$/<br>/' -e '/^;;;/ s/^;;; *//' | sed -e 's,^||,<tr><td align="center">,' -e 's,||$,</td></tr>,' -e 's,|,</td><td align="center">,g'
+ )