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