X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/16033af51f9a96dcc87c44c877dcbd5591384698..6e3f87f611bdb780419e12653cbf1214168f9faa:/doc/Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 8b067ae..497470f 100644
--- 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