K 10
svn:author
V 6
jedgar
K 8
svn:date
V 27
2002-05-31T10:37:22.000000Z
K 7
svn:log
V 72
Remove DESTDIR which is already included in DOCDIR.

Submitted by:	jhay

END