drop old Todo file

Yubico · Feb 13, 2014 · b6abc54 · b6abc54
1 parent 5395f18
commit b6abc54
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 19 deletions.
diff --git a/Makefile.am b/Makefile.am
@@ -110,7 +110,7 @@ ChangeLog:
 	cd $(srcdir) && git2cl > ChangeLog
 
 check-doc-dist:
-	perl -pe "s,^EXTRA_DIST = .*,EXTRA_DIST = `cd $(srcdir) && ls doc/*.asciidoc | grep -v Todo.ascii | xargs echo`," \
+	perl -pe "s,^EXTRA_DIST = .*,EXTRA_DIST = `cd $(srcdir) && ls doc/*.asciidoc | xargs echo`," \
 		 < $(srcdir)/Makefile.am > check-doc-dist.tmp
 	diff -ur $(srcdir)/Makefile.am check-doc-dist.tmp || \
 		(rm -f check-doc-dist.tmp; echo 'error: please update $(srcdir)/Makefile.am to include all docs'; exit 1)

diff --git a/doc/Todo.asciidoc b/doc/Todo.asciidoc