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