diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2019-05-07 12:45:33 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-05-07 12:45:33 +0300 |
commit | 8ceb809c28f663bb1473722de3c6a24319888e61 (patch) | |
tree | 2884ac8878d8866a7b7fa29892a2f83575f1f6a8 /doc/cli.sh | |
parent | 5055e6ed71904e01fcaf2bd056b95876c3a9e29b (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-x | doc/cli.sh | 15 |
1 files changed, 13 insertions, 2 deletions
@@ -62,6 +62,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 .. \ @@ -81,10 +92,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" } |