doc: add TODO.html to public website

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

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 55bfc97a784e0ae83ce705275ee02f3edcccfb94..694416ef6658f23dd8e44f2316318854504eae77 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -40,14 +40,16 @@ install-man: man
        $(pandoc) -s -t man < $< > $@+ && mv $@+ $@
 
 txt2pre = ./Documentation/txt2pre < $< > $@+ && touch -r $< $@+ && mv $@+ $@
-txt := INSTALL README COPYING
+txt := INSTALL README COPYING TODO
 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)