Got gmake dist to work

[splint.git] / doc / Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index f1d05f7ace2ee6b4c88f7f7cb042e6fbc932d7c9..933d80fefbf4f0f0195dea7b1df23a96ae655dd9 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -5,7 +5,7 @@ AUTOMAKE_OPTIONS = 1.5 foreign
 #this is just a hack to get make dist to work.
 
 ## Include them in the distribution
-EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html manual.pdf faq.txt manual.css html/manual.htm html/footer.html html/header.html html/realloc.htm
+EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html manual.pdf  manual.css html/manual.htm html/footer.html html/header.html html/realloc.htm
 
 man_MANS = splint.1