K 10
svn:author
V 5
simon
K 8
svn:date
V 27
2005-01-06T12:40:46.000000Z
K 7
svn:log
V 147
Tell collateindex to set the id tag (to "doc-index" in lack of better
idea for a name) so we will not get dynamic filenames for html-split
output.

END