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")