From 9be80497b8fe2bdfab08fded15e148c1489cc1d5 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 4 Aug 2008 11:54:10 +0000 Subject: * Makefile.pamphlet: Use $(mkdir_p) in lieu of $(mkinstalldirs), during build. Also use 'cp -p' instead of $(INSTALL). * algebra/Makefile.pamphlet: Likewise. * graph/Makefile.in: Likewise. * boot/Makefile.in: Likewise. * hyper/Makefile.in: Likewise. * input/Makefile.pamphlet: Likewise. * interp/Makefile.pamphlet: Likewise. * lib/Makefile.in: Likewise. * lisp/Makefile.in: Likewise. * share/Makefile.in: Likewise. --- src/input/Makefile.pamphlet | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/input/Makefile.pamphlet') diff --git a/src/input/Makefile.pamphlet b/src/input/Makefile.pamphlet index 484e1501..6b673e35 100644 --- a/src/input/Makefile.pamphlet +++ b/src/input/Makefile.pamphlet @@ -52,7 +52,7 @@ regress target. <>= ${OUT}/%.input: %.input - @ $(INSTALL) $< $@ + @cp -p $< $@ .PRECIOUS: %.input @@ -60,7 +60,7 @@ ${OUT}/%.input: %.input @$(axiom_build_document) --output=$@ --tangle $< ${OUT}/%.as: %.as - @ $(INSTALL) $< $@ + @cp -p $< $@ %.as: ${IN}/%.as.pamphlet @ $(axiom_build_document) --output=$@ --tangle $< @@ -878,7 +878,7 @@ all-ax all-input: $(OUT) ${FILES} ${FILES2} ${ASFILES} @echo 1 finished $(srcdir) $(OUT): - $(mkinstalldirs) $@ + $(mkdir_p) $@ <> -- cgit v1.2.3