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

[splint.git] / doc / Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 99753d5f29624b03da4df62dc43a43f967d4298d..4f76b6aa170610748e521cdf628d8d8567a69024 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
+EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html manual.doc faq.txt realloc.doc
 
 man_MANS = splint.1