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.