K 10
svn:author
V 5
simon
K 8
svn:date
V 27
2004-02-16T23:00:06.000000Z
K 7
svn:log
V 87
Add id attribute to a sect1 to avoid generating random filenames in
html-split output.

END
