Put instruction files from web site into CVS development directory.

[splint.git] / doc / Makefile.in

diff --git a/doc/Makefile.in b/doc/Makefile.in
index a0ba9864d41415b66d90879b25216c9e773a8fef..533ef4c79c0ad77a3650e7493f4b5f1d3f7c0c94 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -89,7 +89,7 @@ AUTOMAKE_OPTIONS = 1.5 foreign
 
 
 #this is just a hack to get make dist to work.
-EXTRA_DIST = splint.1
+EXTRA_DIST = splint.1 freebsd.html linux.html sunos.html
 subdir = doc
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
 CONFIG_HEADER = $(top_builddir)/config.h