diff options
Diffstat (limited to 'doc/cli.sh')
| -rwxr-xr-x | doc/cli.sh | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -6,6 +6,8 @@ set -o errtrace # Trap in functions. function info () { echo "$*" 1>&2; } function error () { info "$*"; exit 1; } +copyright="$(sed -n -re 's%^Copyright \(c\) (.+) \(see the AUTHORS file\)\.$%\1%p' ../LICENSE)" + while [ $# -gt 0 ]; do case $1 in --clean) @@ -18,12 +20,14 @@ while [ $# -gt 0 ]; do esac done -cli --generate-html --html-suffix .xhtml \ +cli -v copyright="$copyright" \ +--generate-html --html-suffix .xhtml \ --html-prologue-file doc-prologue.xhtml \ --html-epilogue-file doc-epilogue.xhtml \ --output-prefix build2- bash-style.cli -cli --generate-html --html-suffix .xhtml \ +cli -v copyright="$copyright" \ +--generate-html --html-suffix .xhtml \ --html-prologue-file doc-prologue.xhtml \ --html-epilogue-file doc-epilogue.xhtml \ --output-prefix build2- release.cli |