diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-10-20 11:11:36 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-10-20 11:11:36 +0200 |
commit | 8e7cb3a9f65ae6e8f710b6db22ebcad58e8a19be (patch) | |
tree | baaf72b325c0c75f931c9da6061cbe9a6589def9 | |
parent | 6ecbf6b92296392fa74e17998cc18d59be6b29b8 (diff) |
Fix version handling in doc/cli.sh
-rwxr-xr-x | doc/cli.sh | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,6 +1,6 @@ #! /usr/bin/env bash -version="0.4" # 0.4.0 +version="0.4.0" date="September 2016" trap 'exit 1' ERR @@ -28,7 +28,9 @@ function gen () # <name> { local n="$1" shift - cli -I .. -v version="$version" -v date="$date" \ + cli -I .. \ +-v version="$(echo "$version" | sed -e 's/^\([^.]*\.[^.]*\).*/\1/')" \ +-v date="$date" \ --generate-html --html-suffix .xhtml \ --html-prologue-file doc-prologue.xhtml \ --html-epilogue-file doc-epilogue.xhtml \ |