From 41b2abbbdcc21c758fcb2f485e4e7bb6898830cf Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 20 Oct 2016 10:59:03 +0200 Subject: Fix incorrect version in doc/cli.sh --- doc/cli.sh | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/cli.sh b/doc/cli.sh index 56c6709..52d6463 100755 --- a/doc/cli.sh +++ b/doc/cli.sh @@ -61,7 +61,10 @@ 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 \ @@ -75,7 +78,9 @@ ps2pdf14 -sPAPERSIZE=letter -dOptimize=true -dEmbedAllFonts=true build2-build-sy # Testscript spec. # -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