diff doc/gendoc.py @ 19423:5046fede7684

gendoc: rename to showdoc from show_doc This function prints hg.1.gendoc.txt content.
author Takumi IINO <trot.thunder@gmail.com>
date Wed, 03 Jul 2013 21:49:37 +0900
parents ff1586a3adc5
children 762e51ce3411
line wrap: on
line diff
--- a/doc/gendoc.py	Tue Jul 16 01:29:14 2013 +0200
+++ b/doc/gendoc.py	Wed Jul 03 21:49:37 2013 +0900
@@ -63,7 +63,7 @@
 
     return d
 
-def show_doc(ui):
+def showdoc(ui):
     # print options
     ui.write(minirst.section(_("Options")))
     for optstr, desc in get_opts(globalopts):
@@ -157,4 +157,4 @@
     return extensions.enabled().keys() + extensions.disabled().keys()
 
 if __name__ == "__main__":
-    show_doc(sys.stdout)
+    showdoc(sys.stdout)