X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/3739432e0566b867843a4e08ddf315bb83c33eac..91b588dea2cd9d465b092f5a934ebf1638f79253:/doc/Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 8b067ae..1c3efad 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -5,6 +5,8 @@ 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 darwin.html manual.pdf  manual.css html/manual.htm html/footer.html html/header.html html/realloc.htm
+
+man_MANS = splint.1 
 
 all:
\ No newline at end of file