| jdenisco | 3138d72 | 2018-09-24 14:59:33 -0400 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | |
| 3 | if [ "$1" == "venv" ] |
| 4 | then |
| 5 | python -m pip install --user virtualenv |
| 6 | python -m virtualenv $VENV_DIR |
| 7 | source $VENV_DIR/bin/activate; |
| 8 | pip install -r $DOCS_DIR/etc/requirements.txt |
| 9 | else |
| 10 | source $VENV_DIR/bin/activate; |
| jdenisco | 65ed2d0 | 2018-11-06 12:32:33 -0500 | [diff] [blame] | 11 | VERSION=`source $WS_ROOT/src/scripts/version` |
| 12 | TM=`TZ=GMT date` |
| 13 | sed -ie "s/**VPP Version:\*\* .*/**VPP Version:** $VERSION/" $DOCS_DIR/about.rst |
| 14 | sed -ie "s/**Built on:\*\* .*/**Built on:** $TM/" $DOCS_DIR/about.rst |
| 15 | rm $DOCS_DIR/about.rste |
| jdenisco | 3138d72 | 2018-09-24 14:59:33 -0400 | [diff] [blame] | 16 | make -C $DOCS_DIR $1 |
| 17 | fi |
| 18 | |
| 19 | deactivate |