- echo "$(INSTALL_DATA) $$p \"$(lispdir)/$$p\""; \
- $(INSTALL_DATA) $(srcdir)/$$p "$(lispdir)/$$p"; \
+ echo "$(INSTALL_DATA) $$p \"$(DESTDIR)$(lispdir)/$$p\""; \
+ $(INSTALL_DATA) $(srcdir)/$$p "$(DESTDIR)$(lispdir)/$$p"; \
+ if test $(COMPRESS_INSTALL) = yes -a -n "$(GZIP_PROG)"; then \
+ rm -f "$(DESTDIR)$(lispdir)/$$p.gz"; \
+ $(GZIP_PROG) -9n "$(DESTDIR)$(lispdir)/$$p"; \
+ fi; \