K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1995-07-25T00:12:06.000000Z
K 7
svn:log
V 194
Change `install' to `${INSTALL}' as usual.

Use -c, not ${COPY}, to install `dir'.  ${COPY} should never be used to
install source files.  The source might be lost if the default is overridden.

END