docs: Add version and build date

[vpp.git] / docs / scripts / sphinx-make.sh

diff --git a/docs/scripts/sphinx-make.sh b/docs/scripts/sphinx-make.sh
index e95b3eb..5a2e026 100755 (executable)
--- 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