Put instruction files from web site into CVS development directory.

[splint.git] / doc / Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 8b067aee00842b12a26d39b700caa794a8332ecc..497470f9e19bf38b4d64981336cd19a6de83e61b 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -5,6 +5,6 @@ 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
+EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html
 
 all:
\ No newline at end of file