K 10 svn:author V 3 bde K 8 svn:date V 27 1997-08-21T18:33:13.000000Z K 7 svn:log V 139 Fix and simplify installhdrs target. It didn't install the headers in ${HFILES} and it's simpler to install the non-headers in ${XFILES}. END