diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-10-20 11:10:53 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-10-20 11:10:53 +0200 |
commit | b813953b595af2c7172651a07e0044c1eebcd84c (patch) | |
tree | 54b95b7f786b1ace3f030dbad21c90415c05953f | |
parent | 8fc0ccdc4d3c1d359e43f7d8c9e1e1ae529970e8 (diff) |
Fix version handling in doc/cli.sh
-rwxr-xr-x | doc/cli.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -65,7 +65,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 \ |