fix lua index regen

This commit is contained in:
Tim Felgentreff 2021-06-29 09:52:24 +02:00
parent c61d7596dd
commit e65a2d83d2

View file

@ -40,6 +40,7 @@ after_success:
$TRAVIS_BRANCH == master -a \
$TRAVIS_OS_NAME == linux -a \
$TRAVIS_PULL_REQUEST == 'false' ]; then \
cd $TRAVIS_BUILD_DIR;
git clone https://${GH_TOKEN}@github.com/Wargus/wargus.github.io;
python3 -m pip install --user Pygments;
python3 doc/lua/generate_index.py;