diff options
Diffstat (limited to 'doc/cli.sh')
| -rwxr-xr-x | doc/cli.sh | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -1,6 +1,6 @@ #! /usr/bin/env bash -version=0.14.0-a.0.z +version=0.16.0-a.0.z trap 'exit 1' ERR set -o errtrace # Trap in functions. @@ -47,7 +47,8 @@ function compile () --generate-html --html-suffix .xhtml \ --html-prologue-file man-prologue.xhtml \ --html-epilogue-file man-epilogue.xhtml \ -../build2/$n.cli +--link-regex '%b(#.+)?%build2-build-system-manual.xhtml$1%' \ +../libbuild2/$n.cli cli -I .. \ -v project="build2" \ @@ -55,10 +56,11 @@ 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 +--link-regex '%b(#.+)?%$1%' \ +../libbuild2/$n.cli } o="--output-prefix b-" @@ -76,6 +78,8 @@ done # Manuals. # +# @@ Note that we now have --ascii-tree CLI option. +# function xhtml_to_ps () # <from> <to> [<html2ps-options>] { local from="$1" |