doc: add TODO.html to public website

HTML has one major advantage over plain text: <a href=...> links
That's about it.

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 43336c210dca72bba839f9710458ebc0c62668de..694416ef6658f23dd8e44f2316318854504eae77 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -40,7 +40,7 @@ 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
 dtxt := $(addprefix Documentation/, $(dtxt))