Revive Doxygen

This commit is contained in:
Ole Schütt 2020-09-01 00:40:07 +02:00 committed by Ole Schütt
parent b6d717620b
commit d70bb55f0f
9 changed files with 164 additions and 1812 deletions

View file

@ -88,6 +88,8 @@ def main():
continue
if root.startswith("./tools/autotune_grid"):
continue
if root.startswith("./doxygen"):
continue
if root.startswith("./exts"):
continue
if root.startswith("./obj"):