Lines Matching defs:htmldir
719 htmldir = ${docdir}
864 echo " rm -rf '$(DESTDIR)$(htmldir)/$$f'"; \
865 rm -rf "$(DESTDIR)$(htmldir)/$$f"; \
1045 test -z "$(htmldir)" || $(MKDIR_P) "$(DESTDIR)$(htmldir)"
1050 echo " $(MKDIR_P) '$(DESTDIR)$(htmldir)/$$f'"; \
1051 $(MKDIR_P) "$(DESTDIR)$(htmldir)/$$f" || exit 1; \
1052 echo " $(INSTALL_DATA) '$$d$$p'/* '$(DESTDIR)$(htmldir)/$$f'"; \
1053 $(INSTALL_DATA) "$$d$$p"/* "$(DESTDIR)$(htmldir)/$$f"; \
1055 echo " $(INSTALL_DATA) '$$d$$p' '$(DESTDIR)$(htmldir)/$$f'"; \
1056 $(INSTALL_DATA) "$$d$$p" "$(DESTDIR)$(htmldir)/$$f"; \