diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 1649869..6fd4396 100644 --- a/Makefile.in +++ b/Makefile.in @@ -300,7 +300,11 @@ all: $(ALL) .PHONY: all check dvi info install-info .NOEXPORT: -info check dvi: +info: all-texinfo + @rootme=`pwd` ; export rootme ; \ + $(MAKE) $(FLAGS_TO_PASS) DO=info "DODIRS=$(SUBDIRS)" subdir_do + +check dvi: @rootme=`pwd` ; export rootme ; \ $(MAKE) $(FLAGS_TO_PASS) DO=$@ "DODIRS=$(SUBDIRS)" subdir_do |