summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorjdenisco <jdenisco@cisco.com>2018-11-06 12:32:33 -0500
committerDamjan Marion <dmarion@me.com>2018-11-06 18:21:10 +0000
commit65ed2d0503bc8d9a6a66ca1ece87e3e876ff95cc (patch)
tree826584745389738da9af3b3ae73ec4819980a897
parent0c4699855f66e8bf89a41cf83b41adc753c30cce (diff)
docs: Add version and build date
Change-Id: I6fd53d3ef12e4b6f1af1e5605c09938bce324ec9 Signed-off-by: jdenisco <jdenisco@cisco.com>
-rw-r--r--docs/about.rst9
-rw-r--r--docs/index.rst1
-rwxr-xr-xdocs/scripts/sphinx-make.sh5
3 files changed, 15 insertions, 0 deletions
diff --git a/docs/about.rst b/docs/about.rst
new file mode 100644
index 00000000000..08e4dfdfdb1
--- /dev/null
+++ b/docs/about.rst
@@ -0,0 +1,9 @@
+.. _about:
+
+=====
+About
+=====
+
+**VPP Version:** 19.01-rc0~191-g3206bb1
+
+**Built on:** Tue Nov 6 17:30:04 GMT 2018
diff --git a/docs/index.rst b/docs/index.rst
index 40d9fc70306..ee2b2a9708f 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -29,3 +29,4 @@ Finally it is useful both a software development kit or an appliance out of the
reference/index
relatedprojects/index
archive/index
+ about.rst
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