diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-04 11:54:10 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-04 11:54:10 +0000 |
| commit | 9be80497b8fe2bdfab08fded15e148c1489cc1d5 (patch) | |
| tree | 42f751e4b7f3beb1b29b5da556663f2b9431c195 /src/input/Makefile.pamphlet | |
| parent | 73151fa381c122cbaa7a32e2baf14b9e731d6791 (diff) | |
| download | open-axiom-9be80497b8fe2bdfab08fded15e148c1489cc1d5.tar.gz | |
* 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.
Diffstat (limited to 'src/input/Makefile.pamphlet')
| -rw-r--r-- | src/input/Makefile.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
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. <<genericRules>>= ${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) $@ <<genericRules>> |