##// END OF EJS Templates
gendoc: add support for loading extensions from config settings...
Kyle Lippincott -
r47267:eb36f7a7 default
parent child Browse files
Show More
@@ -330,6 +330,11 b' if __name__ == "__main__":'
330 doc = encoding.strtolocal(sys.argv[1])
330 doc = encoding.strtolocal(sys.argv[1])
331
331
332 ui = uimod.ui.load()
332 ui = uimod.ui.load()
333 # Trigger extensions to load. This is disabled by default because it uses
334 # the current user's configuration, which is often not what is wanted.
335 if encoding.environ.get(b'GENDOC_LOAD_CONFIGURED_EXTENSIONS', b'0') != b'0':
336 extensions.loadall(ui)
337
333 if doc == b'hg.1.gendoc':
338 if doc == b'hg.1.gendoc':
334 showdoc(ui)
339 showdoc(ui)
335 else:
340 else:
General Comments 0
You need to be logged in to leave comments. Login now