diff options
Diffstat (limited to 'resources/tools/doc_gen/run_doc.sh')
| -rwxr-xr-x | resources/tools/doc_gen/run_doc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/tools/doc_gen/run_doc.sh b/resources/tools/doc_gen/run_doc.sh index ca955cc6c4..523b4ae505 100755 --- a/resources/tools/doc_gen/run_doc.sh +++ b/resources/tools/doc_gen/run_doc.sh @@ -39,7 +39,7 @@ pip install -r ${WORKING_DIR}/requirements.txt export PYTHONPATH=`pwd` # Generate rst files: -./gen_rst.py +python gen_rst.py # Remove all rst files from ./${WORKING_DIR}/env directory - we do not need them find ./${WORKING_DIR}/env -type f -name '*.rst' | xargs rm -f |