diff options
Diffstat (limited to 'Doc/info')
| -rw-r--r-- | Doc/info/Makefile | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/Doc/info/Makefile b/Doc/info/Makefile index 24d6057..a2c44d3 100644 --- a/Doc/info/Makefile +++ b/Doc/info/Makefile @@ -49,25 +49,25 @@ clobber: clean # in case we haven't already built the HTML: $(HTMLDIR)/api/api.html: - (cd $(HTMLDIR); $(MAKE) api) + cd $(HTMLDIR) && $(MAKE) api $(HTMLDIR)/ext/ext.html: - (cd $(HTMLDIR); $(MAKE) ext) + cd $(HTMLDIR) && $(MAKE) ext $(HTMLDIR)/lib/lib.html: - (cd $(HTMLDIR); $(MAKE) lib) + cd $(HTMLDIR) && $(MAKE) lib $(HTMLDIR)/mac/mac.html: - (cd $(HTMLDIR); $(MAKE) mac) + cd $(HTMLDIR) && $(MAKE) mac $(HTMLDIR)/ref/ref.html: - (cd $(HTMLDIR); $(MAKE) ref) + cd $(HTMLDIR) && $(MAKE) ref $(HTMLDIR)/tut/tut.html: - (cd $(HTMLDIR); $(MAKE) tut) + cd $(HTMLDIR) && $(MAKE) tut $(HTMLDIR)/dist/dist.html: - (cd $(HTMLDIR); $(MAKE) dist) + cd $(HTMLDIR) && $(MAKE) dist $(HTMLDIR)/inst/inst.html: - (cd $(HTMLDIR); $(MAKE) inst) + cd $(HTMLDIR) && $(MAKE) inst |