From d8915d75e9422104e7f6c4a83f39023ab399d34b Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Tue, 9 Nov 2021 13:04:35 +0200 Subject: Pass --ascii-tree CLI option when generating embedded usage and man pages --- doc/cli.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/cli.sh b/doc/cli.sh index 9ad0881..4d9556e 100755 --- a/doc/cli.sh +++ b/doc/cli.sh @@ -55,7 +55,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 \ ../build2/$n.cli @@ -76,6 +76,8 @@ done # Manuals. # +# @@ Note that we now have --ascii-tree CLI option. +# function xhtml_to_ps () # [] { local from="$1" -- cgit v1.1