From 56a5c32deaad7a76d755f69ebfbc4e715ff94d30 Mon Sep 17 00:00:00 2001 From: Thomas Schmitt Date: Sat, 8 Oct 2011 12:12:38 +0000 Subject: [PATCH] Replaced HTML minus by a flat ASCII minus in HTML man page generator --- xorriso/man_xorriso_to_html.sh | 1 + xorriso/man_xorrisofs_to_html.sh | 1 + 2 files changed, 2 insertions(+) diff --git a/xorriso/man_xorriso_to_html.sh b/xorriso/man_xorriso_to_html.sh index b8785a17..89b1427b 100755 --- a/xorriso/man_xorriso_to_html.sh +++ b/xorriso/man_xorriso_to_html.sh @@ -99,6 +99,7 @@ then -e 's/See section FILES/See section FILES<\/A>/' \ -e 's/See section EXAMPLES/See section EXAMPLES<\/A>/' \ -e 's/<\/body>/

(HTML generated from '"$manpage"'.1 on '"$(date)"' by '$(basename "$0")' )<\/CENTER><\/FONT><\/body>/' \ + -e 's/−/-/g' \ <"$2" >"$htmlpage" set +x diff --git a/xorriso/man_xorrisofs_to_html.sh b/xorriso/man_xorrisofs_to_html.sh index ca09a523..9e813535 100755 --- a/xorriso/man_xorrisofs_to_html.sh +++ b/xorriso/man_xorrisofs_to_html.sh @@ -60,6 +60,7 @@ then -e 's/Miscellaneous options:<\/b>/\ 
Miscellaneous options:<\/b>

/' \ \ -e 's/<\/body>/

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