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 /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 'Makefile.pamphlet')
-rw-r--r-- | Makefile.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.pamphlet b/Makefile.pamphlet index 1566a478..8f1a82b6 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -526,10 +526,10 @@ maybe-cp-noweb-srcdir: $(srcdir)/noweb $(addprefix $(axiom_build_bindir)/, notangle noweave): maybe-cp-noweb-srcdir ## Noweb would like to install many things even if we ## are not interested in those. Prepare the ground. - $(mkinstalldirs) "$(axiom_build_bindir)" - $(mkinstalldirs) "$(axiom_build_libdir)" - $(mkinstalldirs) "$(axiom_build_texdir)" - $(mkinstalldirs) "$(axiom_build_mandir)" + $(mkdir_p) "$(axiom_build_bindir)" + $(mkdir_p) "$(axiom_build_libdir)" + $(mkdir_p) "$(axiom_build_texdir)" + $(mkdir_p) "$(axiom_build_mandir)" $(TOUCH) $(addprefix noweb/src/shell/, \ noweave notangle noweb noroff toroff) \ $(wildcard "$(builddir)"/noweb/src/c/*.h) \ |