added plugins_index page generation to tox

Also minor improvements in the page: - Removed version from plugin name - Using "home" instead of "repo", seems more appropriate - Reduced default verbosity
2014-09-27 12:28:29 -03:00
parent be93fdf11d
commit e9f240a9a3
3 changed files with 176 additions and 161 deletions
@@ -89,6 +89,7 @@ deps=sphinx
     PyYAML

 commands=
+    {envpython} plugins_index/plugins_index.py
    make clean
    make html