doc/gendoc.py
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: