diff options
| -rw-r--r-- | ChangeLog | 8 | ||||
| -rw-r--r-- | Makefile.in | 8 | ||||
| -rw-r--r-- | Makefile.pamphlet | 8 |
3 files changed, 18 insertions, 6 deletions
@@ -1,3 +1,11 @@ +2007-09-10 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * Makefile.pamphlet (all-noweb): Depend only on one target, + notangle. + ($(addprefix $(axiom_build_bindir)/, notangle noweave)): Touch + shell scripts too. + * Makefile.in: Regenerate. + 2007-09-08 Gabriel Dos Reis <gdr@cs.tamu.edu> * configure.ac.pamphlet: Fix thinko. 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 diff --git a/Makefile.pamphlet b/Makefile.pamphlet index 397806be..5596cc2d 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -522,7 +522,7 @@ necessary to extract codes and documentations. % <<noweb>>= .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 @@ -542,8 +542,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 |