--- a/doc/gendoc.py Fri May 13 11:26:29 2011 +0200
+++ b/doc/gendoc.py Fri May 13 11:04:51 2011 -0500
@@ -157,16 +157,7 @@
def allextensionnames():
- extensionnames = []
-
- extensionsdictionary = extensions.enabled()[0]
- extensionnames.extend(extensionsdictionary.keys())
-
- extensionsdictionary = extensions.disabled()[0]
- extensionnames.extend(extensionsdictionary.keys())
-
- return extensionnames
-
+ return extensions.enabled().keys() + extensions.disabled().keys()
if __name__ == "__main__":
show_doc(sys.stdout)