From 8e7cb3a9f65ae6e8f710b6db22ebcad58e8a19be Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Thu, 20 Oct 2016 11:11:36 +0200
Subject: Fix version handling in doc/cli.sh

---
 doc/cli.sh | 6 ++++--
 1 file 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 \
-- 
cgit v1.1