aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-10-20 11:11:36 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-10-20 11:11:36 +0200
commit8e7cb3a9f65ae6e8f710b6db22ebcad58e8a19be (patch)
treebaaf72b325c0c75f931c9da6061cbe9a6589def9 /doc
parent6ecbf6b92296392fa74e17998cc18d59be6b29b8 (diff)
Fix version handling in doc/cli.sh
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/cli.sh6
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/cli.sh b/doc/cli.sh
index d6d8d03..05e0524 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -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 \