K 10 svn:author V 3 max K 8 svn:date V 27 1996-09-26T04:46:07.000000Z K 7 svn:log V 143 Use ${INSTALL_DATA} instead of cp to install files. Also some minor changes in do-install:. (Result of make install doesn't change, though.) END