diff -r f6b3b346d80c -r d5b525697ddb doc/gendoc.py
--- 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)