doc/gendoc.py
changeset 46517 eb36f7a71291
parent 46516 921e1253c8ba
child 46518 85ec89c47a04
equal deleted inserted replaced
46516:921e1253c8ba 46517:eb36f7a71291
   328     doc = b'hg.1.gendoc'
   328     doc = b'hg.1.gendoc'
   329     if len(sys.argv) > 1:
   329     if len(sys.argv) > 1:
   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:
   336         showtopic(ui, encoding.strtolocal(sys.argv[1]))
   341         showtopic(ui, encoding.strtolocal(sys.argv[1]))