# HG changeset patch
# User Martin Geisler <mg@lazybytes.net>
# Date 1306747127 -7200
# Node ID f5b0834cf68576c08a70ff919e5c93a1629609a1
# Parent  d5f616132c10998f7dd2b4abafaa0076ddd65c1c
gendoc: config help topic is in hgrc.5, do not include it in hg.1

diff -r d5f616132c10 -r f5b0834cf685 doc/gendoc.py
--- 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")