Extend "install-html" rule to install "index.html".

diff --git a/v7/doc/Makefile.in b/v7/doc/Makefile.in
index 03388d58dffc6013b454f986567201473f1f1cd2..6e69857b31e9c28f3bfff703580ad0e142fc8bb9 100644 (file)
--- a/v7/doc/Makefile.in
+++ b/v7/doc/Makefile.in
@@ -1,4 +1,4 @@
-# $Id: Makefile.in,v 1.3 2000/12/09 03:42:19 cph Exp $
+# $Id: Makefile.in,v 1.4 2000/12/23 05:09:39 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -109,6 +109,7 @@ install-info:
 
 install-html:
        $(mkinstalldirs) $(DESTDIR)$(htmldir)
+       $(INSTALL_DATA) index.html $(DESTDIR)$(htmldir)/.
        @for D in $(SUBDIRS); do \
            echo "making $@ in $${D}";\
            ( cd $${D} && $(MAKE) $@ ) || exit 1;\