K 10
svn:author
V 4
dirk
K 8
svn:date
V 27
2001-12-30T17:48:46.000000Z
K 7
svn:log
V 110
Change "file dependency specification" for pre-everything from ':'
to '::' to fix problems with "make index".

END