diff --git a/tox.ini b/tox.ini index b66bf6c623..e6ca69de98 100644 --- a/tox.ini +++ b/tox.ini @@ -105,6 +105,8 @@ commands = # copied. python tools/www-generator.py --source-directory www/ --output-directory publish-docs/ rsync -a www/static/ publish-docs/ + # Don't publish this file + rm publish-docs/www-index.html [testenv:checklang] # Generatedocbook needs xml2po which cannot be installed