aboutsummaryrefslogtreecommitdiff
path: root/doc/cli.sh
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-10-20 11:11:11 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-10-20 11:11:11 +0200
commit46ffb3ceef7e06024e3788bafdbe256407c0267e (patch)
tree56618490c2df9a35b4ee1e27b873e7b179e921b4 /doc/cli.sh
parentc0fbd7d03c7d5c10317812b194cb88ab50bb4d04 (diff)
Fix version handling in doc/cli.sh
Diffstat (limited to 'doc/cli.sh')
-rwxr-xr-xdoc/cli.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/cli.sh b/doc/cli.sh
index 73a2ddf..0c7c278 100755
--- a/doc/cli.sh
+++ b/doc/cli.sh
@@ -61,7 +61,9 @@ done
# Manual.
#
-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 \