doc/gendoc.py
changeset 46518 85ec89c47a04
parent 46517 eb36f7a71291
child 48875 6000f5b25c9b
child 49151 1b6e381521c5
equal deleted inserted replaced
46517:eb36f7a71291 46518:85ec89c47a04
   315                         )
   315                         )
   316                     )
   316                     )
   317                 ui.write(b"\n")
   317                 ui.write(b"\n")
   318             # aliases
   318             # aliases
   319             if d[b'aliases']:
   319             if d[b'aliases']:
   320                 ui.write(_(b"    aliases: %s\n\n") % b" ".join(d[b'aliases']))
   320                 # Note the empty comment, this is required to separate this
       
   321                 # (which should be a blockquote) from any preceding things (such
       
   322                 # as a definition list).
       
   323                 ui.write(
       
   324                     _(b"..\n\n    aliases: %s\n\n") % b" ".join(d[b'aliases'])
       
   325                 )
   321 
   326 
   322 
   327 
   323 def allextensionnames():
   328 def allextensionnames():
   324     return set(extensions.enabled().keys()) | set(extensions.disabled().keys())
   329     return set(extensions.enabled().keys()) | set(extensions.disabled().keys())
   325 
   330