*** empty log message ***

[splint.git] / src / Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index 38f7f50f3086b9b9b272b800a75022f619e14cfa..9062350c9e765aff5941b2564cc20e031cc11815 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -233,7 +233,7 @@ HEADERSRC = Headers/abstBodyNode.h           Headers/ltokenList.h \
 IFILES =  ctbase.i  cttable.i  exprDataQuite.i
 
 ## Non-built files we need to distribute
-EXTRA_DIST = DATE $(BISON_SRC) bison.head bison.reset $(HEADERSRC) flags.def cscanner.l flex.head flex.reset $(IFILES)
+EXTRA_DIST = DATE $(BISON_SRC) bison.head bison.reset $(HEADERSRC) flags.def cscanner.l flex.head flex.reset $(IFILES) 256_random_numbers.nf  lclintMacros.nf  reservedNames.nf
 
 
 #Files that are used on systems that do not have bison or yacc