Got gmake dist to work

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index 930d2b5d60d99324b548f3b82b3aabb986193f0e..55d5b671b6dc5c9f5b95b146168706dc32165616 100644 (file)
--- 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 \