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 /docs/scripts | |
| parent | 0c4699855f66e8bf89a41cf83b41adc753c30cce (diff) | |
docs: Add version and build date
Change-Id: I6fd53d3ef12e4b6f1af1e5605c09938bce324ec9
Signed-off-by: jdenisco <jdenisco@cisco.com>
Diffstat (limited to 'docs/scripts')
| -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 |