doc: remove HTML

[public-inbox.git] / Documentation / include.mk

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 776413e6594d8779b8b4c0adf5fcb7fddbcc31fd..d62128f23e131b1c59cea6c8469be751dea6c1e8 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -47,7 +47,7 @@ INSTALL.html: INSTALL
 index.html: README
        $(txt2pre)
 
-docs_html := index.html INSTALL.html
+docs_html := INSTALL.html
 html: $(docs_html)
 gz_docs := $(addsuffix .gz, $(docs) $(docs_html))
 rsync_docs := $(gz_docs) $(docs) $(txt) $(docs_html)