From 63c04b8c9b67bd9a901aab378e7946feed2dc467 Mon Sep 17 00:00:00 2001 From: Thomas Schmitt Date: Sat, 8 Oct 2011 12:11:38 +0000 Subject: [PATCH] Replaced HTML minus by a flat ASCII minus in HTML man page generator --- cdrskin/convert_man_to_html.sh | 1 + 1 file changed, 1 insertion(+) 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