aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdoc/cli.sh9
1 files changed, 7 insertions, 2 deletions
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 \