diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2021-11-09 13:04:10 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-11-09 13:04:10 +0200 |
commit | ae2acaa4d236c6b1cb9a5d8346316cd8af0c9210 (patch) | |
tree | 25c2e870e664ad51f4ae94a0d5f6ec4a6c4d04b9 /doc/cli.sh | |
parent | 6d2f43072bd402682c97b75c6cadf277f93d08bb (diff) |
Pass --ascii-tree CLI option when generating embedded usage and man pages
Diffstat (limited to 'doc/cli.sh')
-rwxr-xr-x | doc/cli.sh | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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" |