- for i in ${BIN}; do \
- rm -f ${DESTDIR}${PREFIX}/bin/`basename $$i`; \
- done
- for i in ${MAN1}; do \
- rm -f ${DESTDIR}${MANPREFIX}/man1/`basename $$i`; \
- done
+ @echo removing executable file from ${DESTDIR}${PREFIX}/bin
+ @rm -f ${DESTDIR}${PREFIX}/bin/sic
+ @echo removing manual page from ${DESTDIR}${MANPREFIX}/man1
+ @rm -f ${DESTDIR}${MANPREFIX}/man1/sic.1
+
+.PHONY: all options clean dist install uninstall