summaryrefslogtreecommitdiffstats
path: root/gendocs.sh
diff options
context:
space:
mode:
Diffstat (limited to 'gendocs.sh')
-rwxr-xr-xgendocs.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/gendocs.sh b/gendocs.sh
index 56d4907..637ef1d 100755
--- a/gendocs.sh
+++ b/gendocs.sh
@@ -1,6 +1,6 @@
#!/bin/bash
-OUTFILENAME="xds-UsersGuide"
+OUTFILENAME="XDS_UsersGuide"
SCRIPT=$(basename $BASH_SOURCE)
@@ -63,7 +63,8 @@ if [ "$DO_ACTION" = "pdf" -o "$DO_ACTION" = "serve" ]; then
# Update cover when book.json has been changed
[[ $ROOTDIR/book.json -nt $ROOTDIR/docs/cover.jpg ]] && { echo "Update cover files"; $ROOTDIR/docs/resources/make_cover.sh || exit 1; }
- OUTFILE=$OUT_DIR/$OUTFILENAME.pdf
+ VERSION="_v$(grep '"version":' $ROOTDIR/book.json | cut -d'"' -f 4)"
+ OUTFILE=$OUT_DIR/$OUTFILENAME$VERSION.pdf
$DRY $GITBOOK pdf $ROOTDIR $OUTFILE $DEBUG_FLAG
[ "$?" = "0" ] && echo "PDF has been successfully generated in $OUTFILE"
else