diff options
| -rw-r--r-- | COPYRIGHT | 1 | ||||
| -rwxr-xr-x | doc/cli.sh | 8 |
2 files changed, 7 insertions, 2 deletions
diff --git a/COPYRIGHT b/COPYRIGHT new file mode 100644 index 0000000..6613d6c --- /dev/null +++ b/COPYRIGHT @@ -0,0 +1 @@ +Copyright (c) 2014-2020 Code Synthesis Ltd. @@ -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 |