K 10
svn:author
V 6
murray
K 8
svn:date
V 27
2001-07-10T03:06:48.000000Z
K 7
svn:log
V 210
Slight modification to support the case where a document contains
indexterms, but we don't want to generate the index.

Specifically, touch the ${INDEX_SGML} file if ${GEN_INDEX} is not set.

Suggested by: Nik

END