doc: use ".html" instead of ".txt.html" for website

Shorter URLs are easier to read, remember, and more efficient.

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 55bfc97a784e0ae83ce705275ee02f3edcccfb94..43336c210dca72bba839f9710458ebc0c62668de 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -42,12 +42,14 @@ install-man: man
 txt2pre = ./Documentation/txt2pre < $< > $@+ && touch -r $< $@+ && mv $@+ $@
 txt := INSTALL README COPYING
 dtxt :=  design_notes.txt design_www.txt dc-dlvr-spam-flow.txt
-txt += $(addprefix Documentation/, $(dtxt))
+dtxt := $(addprefix Documentation/, $(dtxt))
 
+%.html: %.txt
+       $(txt2pre)
 %.html: %
        $(txt2pre)
 
-docs_html := $(addsuffix .html, $(txt))
+docs_html := $(addsuffix .html, $(subst .txt,,$(dtxt)) $(txt))
 html: $(docs_html)
 gz_docs := $(addsuffix .gz, $(docs) $(docs_html))
 rsync_docs := $(gz_docs) $(docs) $(txt) $(docs_html)