#!/bin/bash -ex

$VENV=_virtualenv

if [ ! -d $VENV ]; then
        virtualenv --no-site-packages $VENV
        source $VENV/bin/activate

        pip install sphinx

        deactivate
fi

source $VENV/bin/activate

cd doc
make html
make latexpdf

deactivate

#!/bin/bash -ex

VENV=_virtualenv

if [ ! -d $VENV ]; then
        virtualenv --no-site-packages $VENV
        source $VENV/bin/activate

        pip install sphinx

        deactivate
fi

source $VENV/bin/activate

cd doc
make html
make latexpdf

deactivate

Fix mistake in doc building script
CI: Fix mistake in doc building script
