Added the FAQ and a document on using realloc to CVS.

[splint.git] / doc / Makefile.in

diff --git a/doc/Makefile.in b/doc/Makefile.in
index bb0b78ca3c2908d73ada412d92e020c9f7ee4cc2..b54f43794a9ed119f4d59801e0f1e685f2a7c3cd 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -99,7 +99,7 @@ AUTOMAKE_OPTIONS = 1.5 foreign
 
 
 #this is just a hack to get make dist to work.
-EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html
+EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html manual.doc faq.txt realloc.doc
 
 man_MANS = splint.1 
 subdir = doc