doc/gendoc.py
changeset 20689 401f9b661a2d
parent 20655 37f3be9d1541
child 21793 e0b29a0c36c4
--- a/doc/gendoc.py	Wed Mar 12 13:31:27 2014 -0400
+++ b/doc/gendoc.py	Tue Mar 11 14:36:40 2014 +0900
@@ -156,6 +156,8 @@
             continue
         d = get_cmd(h[f], cmdtable)
         ui.write(sectionfunc(d['cmd']))
+        # short description
+        ui.write(d['desc'][0])
         # synopsis
         ui.write("::\n\n")
         synopsislines = d['synopsis'].splitlines()