Code Review
/
vpp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
review
|
tree
raw
|
inline
| side by side
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;
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
make -C $DOCS_DIR $1
fi