From c3b7fbcc56e889ae259c19e4bcd847be1fb97a01 Mon Sep 17 00:00:00 2001
From: Eric Wong <e@80x24.org>
Date: Sat, 26 Dec 2015 22:00:07 +0000
Subject: doc: use ".html" instead of ".txt.html" for website

Shorter URLs are easier to read, remember, and more efficient.
---
 Documentation/include.mk | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'Documentation')

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 55bfc97a..43336c21 100644
--- 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)
-- 
cgit v1.2.3-24-ge0c7