diff options
Diffstat (limited to 'resources/tools')
| -rwxr-xr-x | resources/tools/doc_gen/run_doc.sh | 7 |
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} |