Lines Matching full:htmldir
396 htmldir = @htmldir@
576 @list='$(HTMLS)'; test -n "$(htmldir)" || list=; \
579 echo " rm -rf '$(DESTDIR)$(htmldir)/$$f'"; \
580 rm -rf "$(DESTDIR)$(htmldir)/$$f"; \
946 @list='$(HTMLS)'; list2=; test -n "$(htmldir)" || list=; \
948 echo " $(MKDIR_P) '$(DESTDIR)$(htmldir)'"; \
949 $(MKDIR_P) "$(DESTDIR)$(htmldir)" || exit 1; \
956 echo " $(MKDIR_P) '$(DESTDIR)$(htmldir)/$$f'"; \
957 $(MKDIR_P) "$(DESTDIR)$(htmldir)/$$f" || exit 1; \
958 echo " $(INSTALL_DATA) '$$d2'/* '$(DESTDIR)$(htmldir)/$$f'"; \
959 $(INSTALL_DATA) "$$d2"/* "$(DESTDIR)$(htmldir)/$$f" || exit $$?; \
966 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(htmldir)'"; \
967 $(INSTALL_DATA) $$files "$(DESTDIR)$(htmldir)" || exit $$?; \
