Lines Matching full:htmldir
1385 htmldir = @htmldir@
1557 @list='$(HTMLS)'; test -n "$(htmldir)" || list=; \
1560 echo " rm -rf '$(DESTDIR)$(htmldir)/$$f'"; \
1561 rm -rf "$(DESTDIR)$(htmldir)/$$f"; \
1819 @list='$(HTMLS)'; list2=; test -n "$(htmldir)" || list=; \
1821 echo " $(MKDIR_P) '$(DESTDIR)$(htmldir)'"; \
1822 $(MKDIR_P) "$(DESTDIR)$(htmldir)" || exit 1; \
1829 echo " $(MKDIR_P) '$(DESTDIR)$(htmldir)/$$f'"; \
1830 $(MKDIR_P) "$(DESTDIR)$(htmldir)/$$f" || exit 1; \
1831 echo " $(INSTALL_DATA) '$$d2'/* '$(DESTDIR)$(htmldir)/$$f'"; \
1832 $(INSTALL_DATA) "$$d2"/* "$(DESTDIR)$(htmldir)/$$f" || exit $$?; \
1839 echo " $(INSTALL_DATA) $$files '$(DESTDIR)$(htmldir)'"; \
1840 $(INSTALL_DATA) $$files "$(DESTDIR)$(htmldir)" || exit $$?; \
