bde a9ae1e691e 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.
1995-07-25 00:12:06 +00:00
..