summaryrefslogtreecommitdiffstats
path: root/docs/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'docs/scripts')
-rwxr-xr-xdocs/scripts/sphinx-make.sh5
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