# HG changeset patch
# User Martin Geisler <mg@lazybytes.net>
# Date 1249227756 -7200
# Node ID 3d78a6c5bdc0084aa0dc4450eaa676c23b17d3c4
# Parent  5043a5b16d91e687112058ee0ad81baa7ff03608
gendoc: make anchors for help topic names

diff -r 5043a5b16d91 -r 3d78a6c5bdc0 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()