K 10
svn:author
V 3
jkh
K 8
svn:date
V 27
1994-10-04T14:44:56.000000Z
K 7
svn:log
V 189
Add PREFIX pointing to ${DESTDIR}/usr/local - let's see if we can't
make an entire system work nicely with DESTDIR (to say nothing of being
able to move from /usr/local to somewhere else).

END