doc/gendoc.py
changeset 14461 f5b0834cf685
parent 14316 d5b525697ddb
child 14943 d3bb825ddae3
--- a/doc/gendoc.py	Mon May 30 11:15:25 2011 +0200
+++ b/doc/gendoc.py	Mon May 30 11:18:47 2011 +0200
@@ -87,6 +87,10 @@
 
     # print topics
     for names, sec, doc in helptable:
+        if names[0] == "config":
+            # The config help topic is included in the hgrc.5 man
+            # page.
+            continue
         for name in names:
             ui.write(".. _%s:\n" % name)
         ui.write("\n")