Submitter | Takumi IINO |
---|---|
Date | May 14, 2013, 7:29 a.m. |
Message ID | <eb1e252a760cb6aa0909.1368516552@iino-no-MacBook-Air.local> |
Download | mbox | patch |
Permalink | /patch/1625/ |
State | Rejected, archived |
Headers | show |
Comments
Patch
diff --git a/doc/gendoc.py b/doc/gendoc.py --- a/doc/gendoc.py +++ b/doc/gendoc.py @@ -64,7 +64,7 @@ return d -def show_doc(ui): +def show_doc_hg(ui): # print options ui.write(minirst.section(_("Options"))) for optstr, desc in get_opts(globalopts): @@ -158,4 +158,4 @@ return extensions.enabled().keys() + extensions.disabled().keys() if __name__ == "__main__": - show_doc(sys.stdout) + show_doc_hg(sys.stdout)