New texi2html generates foo.html file rather than foo_toc.html.

diff --git a/v7/doc/imail/Makefile b/v7/doc/imail/Makefile
index 4c46337e5d6d8dfd82efeb436e2e273bcc7e830c..e79862236783cf36faf86949f4a68437ff605072 100644 (file)
--- a/v7/doc/imail/Makefile
+++ b/v7/doc/imail/Makefile
@@ -1,5 +1,5 @@
 
-# $Id: Makefile,v 1.6 2000/07/11 16:59:56 cph Exp $
+# $Id: Makefile,v 1.7 2000/07/11 20:17:56 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -17,7 +17,7 @@
 # along with this program; if not, write to the Free Software
 # Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 
-all:   imail.ps imail.pdf imail.info html/imail_toc.html
+all:   imail.ps imail.pdf imail.info html/imail.html
 
 imail.ps: imail.dvi
        dvips -o $@ $^