doc: add TODO to the website

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

diff --git a/Documentation/include.mk b/Documentation/include.mk
index 776413e6594d8779b8b4c0adf5fcb7fddbcc31fd..c852ce1cd3e5cf0fd6df986367e9af8cee3a9472 100644 (file)
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -4,7 +4,7 @@ all::
 
 RSYNC = rsync
 RSYNC_DEST = public-inbox.org:/srv/public-inbox/
-docs := README COPYING INSTALL $(shell git ls-files 'Documentation/*.txt')
+docs := README COPYING INSTALL TODO $(shell git ls-files 'Documentation/*.txt')
 INSTALL = install
 PANDOC = pandoc
 PANDOC_OPTS = -f markdown --email-obfuscation=none
@@ -47,7 +47,7 @@ INSTALL.html: INSTALL
 index.html: README
        $(txt2pre)
 
-docs_html := index.html INSTALL.html
+docs_html := INSTALL.html
 html: $(docs_html)
 gz_docs := $(addsuffix .gz, $(docs) $(docs_html))
 rsync_docs := $(gz_docs) $(docs) $(txt) $(docs_html)