X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/51bc6ecce8b6e9877dccd8bda2cf220b47e6929c..e63e0a4a31c06a56312538440dd5b384e19ddb55:/test/Makefile.in diff --git a/test/Makefile.in b/test/Makefile.in index 930d2b5..55d5b67 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -240,6 +240,9 @@ EXTRA_DIST = ./abst_t.lcl \ ./db3/erc.lcl \ ./db3/eref.lcl \ ./db3/ereftab.lcl \ + ./db3/README \ + ./db3/clean \ + ./db3/tidy \ ./tq.lcl \ ./ud2.lcl \ ./for/.splintrc \