Lines Matching defs:MKDIR_P
418 MKDIR_P = /bin/mkdir -p
825 */*) $(MKDIR_P) `echo "$$dist_files" | \
851 test -z "$$dir" || $(MKDIR_P) "$$dir"; \
906 test -z "$(dvidir)" || $(MKDIR_P) "$(DESTDIR)$(dvidir)"
919 test -z "$(htmldir)" || $(MKDIR_P) "$(DESTDIR)$(htmldir)"
924 echo " $(MKDIR_P) '$(DESTDIR)$(htmldir)/$$f'"; \
925 $(MKDIR_P) "$(DESTDIR)$(htmldir)/$$f" || exit 1; \
937 test -z "$(infodir)" || $(MKDIR_P) "$(DESTDIR)$(infodir)"
971 test -z "$(pdfdir)" || $(MKDIR_P) "$(DESTDIR)$(pdfdir)"
982 test -z "$(psdir)" || $(MKDIR_P) "$(DESTDIR)$(psdir)"