diff --git a/doc/gendoc.py b/doc/gendoc.py index 921e1253c8ba97827e68fd98d2791978324d7dc6_ZG9jL2dlbmRvYy5weQ==..eb36f7a71291de88e0ee12cebdd574d026fce2dc_ZG9jL2dlbmRvYy5weQ== 100755 --- a/doc/gendoc.py +++ b/doc/gendoc.py @@ -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: