diff options
| author |   jdenisco <jdenisco@cisco.com> | 2018-11-06 12:32:33 -0500 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2018-11-06 18:21:10 +0000 |
| commit | 65ed2d0503bc8d9a6a66ca1ece87e3e876ff95cc (patch) | |
| tree | 826584745389738da9af3b3ae73ec4819980a897 | |
| parent | 0c4699855f66e8bf89a41cf83b41adc753c30cce (diff) | |
docs: Add version and build date
Change-Id: I6fd53d3ef12e4b6f1af1e5605c09938bce324ec9
Signed-off-by: jdenisco <jdenisco@cisco.com>
| -rw-r--r-- | docs/about.rst | 9 | ||||
| -rw-r--r-- | docs/index.rst | 1 | ||||
| -rwxr-xr-x | docs/scripts/sphinx-make.sh | 5 |
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 |