diff options
Diffstat (limited to 'docs/scripts/sphinx-make.sh')
| -rwxr-xr-x | docs/scripts/sphinx-make.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/scripts/sphinx-make.sh b/docs/scripts/sphinx-make.sh index e95b3eba066..5a2e026e638 100755 --- a/docs/scripts/sphinx-make.sh +++ b/docs/scripts/sphinx-make.sh @@ -8,6 +8,11 @@ then pip install -r $DOCS_DIR/etc/requirements.txt else source $VENV_DIR/bin/activate; + VERSION=`source $WS_ROOT/src/scripts/version` + TM=`TZ=GMT date` + sed -ie "s/**VPP Version:\*\* .*/**VPP Version:** $VERSION/" $DOCS_DIR/about.rst + sed -ie "s/**Built on:\*\* .*/**Built on:** $TM/" $DOCS_DIR/about.rst + rm $DOCS_DIR/about.rste make -C $DOCS_DIR $1 fi |