add dvi target

diff --git a/Makefile.in b/Makefile.in
index 0e6fab42edc11bc25896e782f2535d4958882a1e..879e71a21f27de3f3f8cae8191c50c7fbb64407e 100644 (file)
--- 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