diff --git a/cdrskin/convert_man_to_html.sh b/cdrskin/convert_man_to_html.sh index 912b46a..3f4c620 100755 --- a/cdrskin/convert_man_to_html.sh +++ b/cdrskin/convert_man_to_html.sh @@ -59,6 +59,7 @@ then -e 's/<\/body>/

(HTML generated from '"$manpage"'.1 on '"$(date)"' by '$(basename "$0")' )<\/CENTER><\/FONT><\/body>/' \ -e 's/See section FILES/See section FILES<\/A>/' \ -e 's/See section EXAMPLES/See section EXAMPLES<\/A>/' \ + -e 's/−/-/g' \ <"$2" >"$htmlpage" set +x