doc: generate README.html instead of index.html

This allows us to generate links without caring about discoverability
and remains reasonably WYSIWYG for folks editing our documentation in
their favorite $EDITOR

diff --git a/Documentation/include.mk b/Documentation/include.mk
index c852ce1cd3e5cf0fd6df986367e9af8cee3a9472..162bf54338bf68c72a3cda01553a714f1cbf8f48 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -42,12 +42,10 @@ install-man: man
 txt2pre = ./Documentation/txt2pre < $< > $@+ && touch -r $< $@+ && mv $@+ $@
 txt = INSTALL README COPYING
 
-INSTALL.html: INSTALL
-       $(txt2pre)
-index.html: README
+%.html: %
        $(txt2pre)
 
-docs_html := INSTALL.html
+docs_html := $(addsuffix .html, $(txt))
 html: $(docs_html)
 gz_docs := $(addsuffix .gz, $(docs) $(docs_html))
 rsync_docs := $(gz_docs) $(docs) $(txt) $(docs_html)