Update documentation generator to ignore directories under 'setup/'.
@@ -16,6 +16,8 @@ class InstallScripts(SphinxDirective):
scripts = {}
for script in os.listdir(setup_dir):
+ # Ignore directories such as 'setup/docker/'.
+ if os.path.isfile(script):
components = script.split('.')[0].split('-')
tool = components[1]
