jkh 96/12/29 20:52:55 Modified: include Makefile Log: Add some missing ${DESTDIR}s here. Revision Changes Path 1.46 +3 -3 src/include/Makefile