changeset 46517 | eb36f7a71291 |
parent 46516 | 921e1253c8ba |
child 46518 | 85ec89c47a04 |
--- a/doc/gendoc.py Fri Feb 12 11:04:03 2021 -0800 +++ b/doc/gendoc.py Fri Feb 12 11:06:56 2021 -0800 @@ -330,6 +330,11 @@ doc = encoding.strtolocal(sys.argv[1]) ui = uimod.ui.load() + # Trigger extensions to load. This is disabled by default because it uses + # the current user's configuration, which is often not what is wanted. + if encoding.environ.get(b'GENDOC_LOAD_CONFIGURED_EXTENSIONS', b'0') != b'0': + extensions.loadall(ui) + if doc == b'hg.1.gendoc': showdoc(ui) else: