aboutsummaryrefslogtreecommitdiffstats
path: root/resources/tools
diff options
context:
space:
mode:
Diffstat (limited to 'resources/tools')
-rwxr-xr-xresources/tools/doc_gen/run_doc.sh7
1 files changed, 6 insertions, 1 deletions
diff --git a/resources/tools/doc_gen/run_doc.sh b/resources/tools/doc_gen/run_doc.sh
index bbb9940468..1a037071a5 100755
--- a/resources/tools/doc_gen/run_doc.sh
+++ b/resources/tools/doc_gen/run_doc.sh
@@ -42,4 +42,9 @@ export PYTHONPATH=`pwd`
./gen_rst.py
# Generate the documentation:
-sphinx-build -vvv -b html ${WORKING_DIR}/ ${BUILD_DIR}/ \ No newline at end of file
+sphinx-build -vvv -b html ${WORKING_DIR}/ ${BUILD_DIR}/
+
+find . -type d -name 'env' | xargs rm -rf
+
+echo Creating csit.doc.tar.gz ...
+tar -czvf ./csit.doc.tar.gz ${BUILD_DIR}