# remove $(infodir)/$(INFO_IMAGES_DIR) in case it is a symlink
-rm -f $(DESTDIR)$(infodir)/$(INFO_IMAGES_DIR)
$(INSTALL) -d $(DESTDIR)$(infodir)/$(INFO_IMAGES_DIR)
# remove $(infodir)/$(INFO_IMAGES_DIR) in case it is a symlink
-rm -f $(DESTDIR)$(infodir)/$(INFO_IMAGES_DIR)
$(INSTALL) -d $(DESTDIR)$(infodir)/$(INFO_IMAGES_DIR)