diff options
Diffstat (limited to 'Makefile.pamphlet')
-rw-r--r-- | Makefile.pamphlet | 8 |
1 files changed, 5 insertions, 3 deletions
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 |