From 64d9abf40d5b3de4820822bd5bcbc881bc06ee3a Mon Sep 17 00:00:00 2001 From: "David D. Zuhn" Date: Tue, 22 Dec 1992 23:27:58 +0000 Subject: [PATCH] add dvi target --- Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index 0e6fab42edc..879e71a21f2 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 -- 2.30.2