aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-06-24 14:52:30 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-06-24 14:52:30 +0200
commit13903f8fdc85b8a03d87ad3458ca5b82e8072dcc (patch)
tree567b7637f3d2cebdd7de732307fc57ef59474447 /doc
parentc540881a2518764be8193560167a52caf13059e0 (diff)
Improve fallback tree output with &middot;
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/cli.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/cli.sh b/doc/cli.sh
index 0ebfe7f..a1668e4 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -67,7 +67,7 @@ function xhtml_to_ps () # <from> <to> [<html2ps-options>]
local to="$1"
shift
- sed -e 's/├/|/g' -e 's/│/|/g' -e 's/─/-/g' -e 's/└/`/g' "$from" | \
+ sed -e 's/├/|/g' -e 's/│/|/g' -e 's/─/-/g' -e 's/└/\xb7/g' "$from" | \
html2ps "${@}" -o "$to"
}