ahamilton/eris
1
0
Fork 0
Code Releases Activity

Show the generic tools in the README.

Browse source
This commit is contained in:
Andrew Hamilton 2017-07-19 09:40:54 +01:00
parent cbdbac0219
commit 0b6fbec3da
3 changed files with 9 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

3
make-readme.py
View file

@ -42,6 +42,7 @@ then to run:
Extensions | Tools
---------- | -----""")
for extensions, tools_ in tools.TOOLS_FOR_EXTENSIONS:
all_tools = [(["*"], tools.generic_tools())] + tools.TOOLS_FOR_EXTENSIONS
for extensions, tools_ in all_tools:
print("%s | %s" % (" ".join("." + extension for extension in extensions),
" • ".join(tool_markup(tool) for tool in tools_)))