docs: use python3 for make docs.

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

diff --git a/docs/scripts/sphinx-make.sh b/docs/scripts/sphinx-make.sh
index e95b3eb..3dca88c 100755 (executable)
--- a/docs/scripts/sphinx-make.sh
+++ b/docs/scripts/sphinx-make.sh
@@ -2,12 +2,17 @@
 
 if [ "$1" == "venv" ]
 then
-    python -m pip install --user virtualenv
-    python -m virtualenv $VENV_DIR
+    python3 -m pip install --user virtualenv
+    python3 -m virtualenv $VENV_DIR
     source $VENV_DIR/bin/activate;
-    pip install -r $DOCS_DIR/etc/requirements.txt
+    python3 -m 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