diff options
| author |   Tibor Frank <tifrank@cisco.com> | 2017-04-21 09:54:07 +0200 |
|---|---|---|
| committer | Tibor Frank <tifrank@cisco.com> | 2017-04-21 09:11:12 +0000 |
| commit | bc2036f4ce9b8aa705161ee1c8566b134fc6570c (patch) | |
| tree | d3dbde762b2710e3635ab484ed4572c483e1eb02 /resources/tools | |
| parent | 15b51f686ef338bad639ba6fb7d0332958285539 (diff) | |
CSIT-561: Add release and version to the header
Change-Id: I73ca0e924b74a8cc523c00b00a80598e09c8ef43
Signed-off-by: Tibor Frank <tifrank@cisco.com>
Diffstat (limited to 'resources/tools')
| -rwxr-xr-x | resources/tools/doc_gen/run_doc.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/tools/doc_gen/run_doc.sh b/resources/tools/doc_gen/run_doc.sh index f4e41e5de4..ca955cc6c4 100755 --- a/resources/tools/doc_gen/run_doc.sh +++ b/resources/tools/doc_gen/run_doc.sh @@ -45,7 +45,8 @@ export PYTHONPATH=`pwd` find ./${WORKING_DIR}/env -type f -name '*.rst' | xargs rm -f # Generate the documentation: -sphinx-build -v -b html ${WORKING_DIR} ${BUILD_DIR}/ +DATE=$(date -u '+%d-%b-%Y') +sphinx-build -v -c ${WORKING_DIR} -a -b html -E -D release=$1 -D version="$1 documentation - $DATE" ${WORKING_DIR} ${BUILD_DIR}/ find . -type d -name 'env' | xargs rm -rf |