diff options
author | dos-reis <gdr@axiomatics.org> | 2007-09-10 09:58:43 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-09-10 09:58:43 +0000 |
commit | ace797d13576e2ae0b3ab9096f3433a531819ee0 (patch) | |
tree | 492b97e1fba68d336855220b7117a0a0e82740b0 /Makefile.in | |
parent | e515df7b31968f17d8df71e7ba74afbf2ae2c07a (diff) | |
download | open-axiom-ace797d13576e2ae0b3ab9096f3433a531819ee0.tar.gz |
* Makefile.pamphlet (all-noweb): Depend only on one target,
notangle.
($(addprefix $(axiom_build_bindir)/, notangle noweave)): Touch
shell scripts too.
* Makefile.in: Regenerate.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index deb3a906..494d85d5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -40,7 +40,7 @@ stamp-rootdirs: $(axiom_build_document) .PHONY: all-noweb -all-noweb: $(addprefix $(axiom_build_bindir)/, notangle noweave) +all-noweb: $(axiom_build_bindir)/notangle .PHONY: maybe-cp-noweb-srcdir maybe-cp-noweb-srcdir: $(srcdir)/noweb @@ -60,8 +60,10 @@ $(addprefix $(axiom_build_bindir)/, notangle noweave): maybe-cp-noweb-srcdir $(mkinstalldirs) $(axiom_build_libdir) $(mkinstalldirs) $(axiom_build_texdir) $(mkinstalldirs) $(axiom_build_mandir) - $(TOUCH) $(wildcard $(builddir)/noweb/src/c/*.h) \ - $(wildcard $(builddir)/noweb/src/c/*.c) + $(TOUCH) $(addprefix noweb/src/shell/, \ + noweave notangle noweb noroff toroff) \ + $(wildcard $(builddir)/noweb/src/c/*.h) \ + $(wildcard $(builddir)/noweb/src/c/*.c) ## noweb's Makefile needs editing before we can build to suit ## our needs. In particular, we must say when helper programs go, ## where the noweb style file goes, where the man pages go (even though |