Add version number to resulting pdf filename

Signed-off-by: Sebastien Douheret <sebastien.douheret@iot.bzh>

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