summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/cli.sh8
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/cli.sh b/doc/cli.sh
index e737ee7..458ff87 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -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\) (.+)\.$%\1%p' ../COPYRIGHT)"
+
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