gendoc: make anchors for help topic names
authorMartin Geisler <mg@lazybytes.net>
Sun, 02 Aug 2009 17:42:36 +0200
changeset 9297 3d78a6c5bdc0
parent 9296 5043a5b16d91
child 9298 8a254bd61224
gendoc: make anchors for help topic names
doc/gendoc.py
--- a/doc/gendoc.py	Fri Jul 31 11:40:03 2009 +0200
+++ b/doc/gendoc.py	Sun Aug 02 17:42:36 2009 +0200
@@ -102,6 +102,9 @@
 
     # print topics
     for names, sec, doc in helptable:
+        for name in names:
+            ui.write(".. _%s:\n" % name)
+        ui.write("\n")
         section(sec.upper())
         if callable(doc):
             doc = doc()