K 10 svn:author V 3 bde K 8 svn:date V 27 1995-07-24T23:22:00.000000Z K 7 svn:log V 89 Change `install' to `${INSTALL}' as usual. Install the `built' files with flag ${COPY}. END