aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2021-11-09 13:04:10 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2021-11-09 13:04:10 +0200
commitae2acaa4d236c6b1cb9a5d8346316cd8af0c9210 (patch)
tree25c2e870e664ad51f4ae94a0d5f6ec4a6c4d04b9 /doc
parent6d2f43072bd402682c97b75c6cadf277f93d08bb (diff)
Pass --ascii-tree CLI option when generating embedded usage and man pages
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/cli.sh5
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/cli.sh b/doc/cli.sh
index efe6597..1bcfa96 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -58,7 +58,7 @@ function compile ()
-v date="$date" \
-v copyright="$copyright" \
--include-base-last "${o[@]}" \
---generate-man --man-suffix .1 \
+--generate-man --man-suffix .1 --ascii-tree \
--man-prologue-file man-prologue.1 \
--man-epilogue-file man-epilogue.1 \
--link-regex '%b(#.+)?%$1%' \
@@ -90,6 +90,9 @@ done
# Manual.
#
+
+# @@ Note that we now have --ascii-tree CLI option.
+#
function xhtml_to_ps () # <from> <to> [<html2ps-options>]
{
local from="$1"