diff options
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 0e6fab4..879e71a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -225,10 +225,10 @@ TARGET_FLAGS_TO_PASS = \ # The first rule in the file had better be this one. Don't put any above it. all: $(ALL) -.PHONY: all info install-info clean-info distclean mostlyclean realclean +.PHONY: all info install-info dvi clean-info distclean mostlyclean realclean .NOEXPORT: -info check clean-info distclean mostlyclean realclean: +info check clean-info dvi distclean mostlyclean realclean: @rootme=`pwd` ; export rootme ; \ $(MAKE) $(FLAGS_TO_PASS) DO=info "DODIRS=$(SUBDIRS)" subdir_do |