X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/51bc6ecce8b6e9877dccd8bda2cf220b47e6929c..e63e0a4a31c06a56312538440dd5b384e19ddb55:/test/Makefile.am diff --git a/test/Makefile.am b/test/Makefile.am index 903b074..6331482 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -1016,6 +1016,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 \