diff -r fe08a0bfa9fd -r 76387080f238 doc/gendoc.py --- a/doc/gendoc.py Wed Sep 11 20:52:51 2024 +0200 +++ b/doc/gendoc.py Thu Sep 05 12:28:12 2024 +0200 @@ -156,7 +156,8 @@ for extensionname in sorted(allextensionnames()): mod = extensions.load(ui, extensionname, None) ui.write(minirst.subsection(extensionname)) - ui.write(b"%s\n\n" % gettext(pycompat.getdoc(mod))) + ext_doc = help.ext_help(ui, mod) + ui.write(b"%s\n\n" % ext_doc) cmdtable = getattr(mod, 'cmdtable', None) if cmdtable: ui.write(minirst.subsubsection(_(b'Commands')))