Replaced HTML minus by a flat ASCII minus in HTML man page generator

This commit is contained in:
Thomas Schmitt 2011-10-08 12:11:38 +00:00
parent 7d1c712c09
commit 63c04b8c9b
1 changed files with 1 additions and 0 deletions

View File

@ -59,6 +59,7 @@ then
-e 's/<\/body>/<BR><HR><FONT SIZE=-1><CENTER>(HTML generated from '"$manpage"'.1 on '"$(date)"' by '$(basename "$0")' )<\/CENTER><\/FONT><\/body>/' \
-e 's/See section FILES/See section <A HREF="#FILES">FILES<\/A>/' \
-e 's/See section EXAMPLES/See section <A HREF="#EXAMPLES">EXAMPLES<\/A>/' \
-e 's/&minus;/-/g' \
<"$2" >"$htmlpage"
set +x