aboutsummaryrefslogtreecommitdiff
path: root/doc/cli.sh
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2019-05-07 11:51:35 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2019-05-07 11:51:35 +0300
commit3cb5df325018cefc2855693f059a172ccf708ab9 (patch)
tree8726f66c70e00898f51194d5e2fc3b348c4cf487 /doc/cli.sh
parent1dc25e03889ac10f5e740947d841d65ebf42a235 (diff)
Convert UTF-8 tree characters to ASCII when producing PS from XHTML in doc/cli.sh
Diffstat (limited to 'doc/cli.sh')
-rwxr-xr-xdoc/cli.sh15
1 files changed, 13 insertions, 2 deletions
diff --git a/doc/cli.sh b/doc/cli.sh
index 78e3b35..9929b61 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -25,6 +25,17 @@ done
# Manuals.
#
+function xhtml_to_ps () # <from> <to> [<html2ps-options>]
+{
+ local from="$1"
+ shift
+ local to="$1"
+ shift
+
+ sed -e 's/├/|/g' -e 's/│/|/g' -e 's/─/-/g' -e 's/└/`/g' "$from" | \
+ html2ps "${@}" -o "$to"
+}
+
function compile_doc () # <file> <prefix> <suffix>
{
cli -I .. \
@@ -39,10 +50,10 @@ function compile_doc () # <file> <prefix> <suffix>
local n="$2$(basename -s .cli $1)$3"
- html2ps -f doc.html2ps:a4.html2ps -o "$n-a4.ps" "$n.xhtml"
+ xhtml_to_ps "$n.xhtml" "$n-a4.ps" -f doc.html2ps:a4.html2ps
ps2pdf14 -sPAPERSIZE=a4 -dOptimize=true -dEmbedAllFonts=true "$n-a4.ps" "$n-a4.pdf"
- html2ps -f doc.html2ps:letter.html2ps -o "$n-letter.ps" "$n.xhtml"
+ xhtml_to_ps "$n.xhtml" "$n-letter.ps" -f doc.html2ps:letter.html2ps
ps2pdf14 -sPAPERSIZE=letter -dOptimize=true -dEmbedAllFonts=true "$n-letter.ps" "$n-letter.pdf"
}