- echo "rm -f $(DESTDIR)$(infodir)/$$file{,-[0-9],.info,.info-[0-9]}"; \
- rm -f $(DESTDIR)$(infodir)/$$file{,-[0-9],.info,.info-[0-9]}; \
- echo "rm -f $(DESTDIR)$(infodir)/$$file{,-[0-9],.info,.info-[0-9]}.gz"; \
- rm -f $(DESTDIR)$(infodir)/$$file{,-[0-9],.info,.info-[0-9]}.gz; \
+ echo "rm -f \"$(DESTDIR)$(infodir)\"/$$file{,-[0-9],.info,.info-[0-9]}"; \
+ rm -f "$(DESTDIR)$(infodir)"/$$file{,-[0-9],.info,.info-[0-9]}; \
+ echo "rm -f \"$(DESTDIR)$(infodir)\"/$$file{,-[0-9],.info,.info-[0-9]}.gz"; \
+ rm -f "$(DESTDIR)$(infodir)"/$$file{,-[0-9],.info,.info-[0-9]}.gz; \