done; \
for path in $$INSTALL_FILES; do \
file=`basename $$path`; \
- echo "Installing $$file..."; \
if [ -f "$(DESTDIR)$(etcdir)/$$file" ]; then \
- if cmp -s "$$path" "$(DESTDIR)$(etcdir)/$$file"; then \
- echo "$(DESTDIR)$(etcdir)/$$file unchanged, skipped"; \
+ if cmp -s "$$path" "$(DESTDIR)$(etcdir)/$$file" ; then \
+ :; \
else \
$(INSTALL_DATA) "$$path" "$(DESTDIR)$(etcdir)/$$file.dist"; \
- echo "INFO: $(DESTDIR)$(etcdir)/$$file installed with .dist extension"; \
+ echo "$(DESTDIR)$(etcdir)/$$file has local modifications; installing with .dist suffix"; \
fi; \
else \
$(INSTALL_DATA) $$path $(DESTDIR)$(etcdir)/$$file; \