doc/gendoc.py
changeset 6612 59e087f99920
parent 6488 119dff2cd592
child 6654 2713e42dcf4e
--- a/doc/gendoc.py	Mon May 12 11:37:56 2008 -0500
+++ b/doc/gendoc.py	Wed Apr 23 19:40:15 2008 +0200
@@ -69,6 +69,7 @@
         if f.startswith("debug"): continue
         d = get_cmd(h[f])
         # synopsis
+        ui.write("[[%s]]\n" % d['cmd'])
         ui.write("%s::\n" % d['synopsis'].replace("hg ","", 1))
         # description
         ui.write("%s\n\n" % d['desc'][1])