From 3a238f27b660d2fec8e274907aad4a8e3bc24e57 Mon Sep 17 00:00:00 2001
From: Sebastien Douheret <sebastien.douheret@iot.bzh>
Date: Wed, 20 Sep 2017 14:40:19 +0200
Subject: Add version number to resulting pdf filename

Signed-off-by: Sebastien Douheret <sebastien.douheret@iot.bzh>
---
 gendocs.sh | 5 +++--
 1 file 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
-- 
cgit 1.2.3-korg