HEADER="<li> $FILE (extra-name:$EXTRA, only for inclusion)"
HEADER2=""
else
- title=`sed -n -e '/^(title/s/(title \("[^"]*"\).*$/\1/p' $FILE`
+# title=`sed -n -e '/^(title/s/(title \("[^"]*"\).*$/\1/p' $FILE`
file=`basename $FILE`
base=`basename $file .mim`
dir=`dirname $FILE`
[ -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
+# if test -n "$title"; then
+# HEADER="$HEADER title:$title"
+# fi
HEADER2="<img src=\"icon-$base.png\" style=\"vertical-align:middle;\">"
HEADER3="@endhtmlonly"
HEADER4=")"
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')
+ 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'
+ )
else
M17NDIR=/usr/share/m17n $IMDOC $FILE "$IM"
fi