K 10
svn:author
V 5
simon
K 8
svn:date
V 27
2004-07-12T22:25:11.000000Z
K 7
svn:log
V 199
Add an id attributes to the sect1 tags that does not have one already.

This fixes filenames like x31.html, which is generated in html-split
mode, that somebody will end up linking to at some point.

END