diff options
| -rw-r--r-- | build2/buildfile | 2 | ||||
| -rwxr-xr-x | doc/cli.sh | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/build2/buildfile b/build2/buildfile index 4d62fb5..48f551d 100644 --- a/build2/buildfile +++ b/build2/buildfile @@ -84,7 +84,7 @@ if $cli.configured # Usage options. # cli.options += --suppress-undocumented --long-usage --ansi-color \ ---page-usage 'build2::print_$name$_' --option-length 21 +--ascii-tree --page-usage 'build2::print_$name$_' --option-length 21 cli.cxx{*}: { @@ -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 () # <from> <to> [<html2ps-options>] { local from="$1" |