diff options
author | Eric Wong <e@80x24.org> | 2014-10-05 22:49:06 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2014-10-05 22:49:06 +0000 |
commit | cd787f8a2d2e4876c0cad006a39efcc3ac293e2b (patch) | |
tree | 8df6ee56f4eb4a1087a5085c2849cf8019d159b8 | |
parent | f94d99cb7c5ad143b147e5ee37aa1994736c3116 (diff) | |
download | public-inbox-cd787f8a2d2e4876c0cad006a39efcc3ac293e2b.tar.gz |
-rw-r--r-- | Documentation/include.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index d62128f2..c852ce1c 100644 --- 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 |