From 46ffb3ceef7e06024e3788bafdbe256407c0267e Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 20 Oct 2016 11:11:11 +0200 Subject: Fix version handling in doc/cli.sh --- doc/cli.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'doc') 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 \ -- cgit v1.1