doc/gendoc.py
changeset 14316 d5b525697ddb
parent 13345 b8214d871338
child 14461 f5b0834cf685
equal deleted inserted replaced
14315:f6b3b346d80c 14316:d5b525697ddb
   155         if d['aliases']:
   155         if d['aliases']:
   156             ui.write(_("    aliases: %s\n\n") % " ".join(d['aliases']))
   156             ui.write(_("    aliases: %s\n\n") % " ".join(d['aliases']))
   157 
   157 
   158 
   158 
   159 def allextensionnames():
   159 def allextensionnames():
   160     extensionnames = []
   160     return extensions.enabled().keys() + extensions.disabled().keys()
   161 
       
   162     extensionsdictionary = extensions.enabled()[0]
       
   163     extensionnames.extend(extensionsdictionary.keys())
       
   164 
       
   165     extensionsdictionary = extensions.disabled()[0]
       
   166     extensionnames.extend(extensionsdictionary.keys())
       
   167 
       
   168     return extensionnames
       
   169 
       
   170 
   161 
   171 if __name__ == "__main__":
   162 if __name__ == "__main__":
   172     show_doc(sys.stdout)
   163     show_doc(sys.stdout)