2018-09-24 14:59:33 -04:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
if [ "$1" == "venv" ]
|
|
|
|
then
|
2019-02-13 20:59:30 -08:00
|
|
|
python3 -m pip install --user virtualenv
|
|
|
|
python3 -m virtualenv $VENV_DIR
|
2018-09-24 14:59:33 -04:00
|
|
|
source $VENV_DIR/bin/activate;
|
2019-02-13 20:59:30 -08:00
|
|
|
python3 -m pip install -r $DOCS_DIR/etc/requirements.txt
|
2018-09-24 14:59:33 -04:00
|
|
|
else
|
|
|
|
source $VENV_DIR/bin/activate;
|
2018-11-06 12:32:33 -05:00
|
|
|
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
|
2018-09-24 14:59:33 -04:00
|
|
|
make -C $DOCS_DIR $1
|
|
|
|
fi
|
|
|
|
|
|
|
|
deactivate
|