Got gmake dist to work

[splint.git] / test / Makefile.am

diff --git a/test/Makefile.am b/test/Makefile.am
index 903b0740e1401d73c2c6ef2fc108079d8207a437..63314821c2d787e68f4190b341bd7923e9f830a4 100644 (file)
--- 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 \