Récupération + compilation de la documentation dans la version packagée.

tools/build.sh

@@ -45,6 +45,15 @@ sed -i "2s/.*/MAX_VERSION=$MAX_VERSION/g" $RELEASE_FOLDER/tools/max.sh
 #creates VERSION file
 echo "MaX "$MAX_VERSION >  $RELEASE_FOLDER/VERSION
 
+#gets and builds documentation
+mkdir
+git clone git@git.unicaen.fr:pdn-certic/max-documentation.git
+cd max-documentation
+mkdocs build
+mv site ../$RELEASE_FOLDER/documentation
+cd ..
+rm -rf max-documentation
+
 echo "RELEASE BUILT DONE  in "$RELEASE_FOLDER
 
 zip -r $RELEASE_FOLDER.zip $RELEASE_FOLDER