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 1105badab56fe184187cb764569648e0b48322b9..533ef4c79c0ad77a3650e7493f4b5f1d3f7c0c94 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -55,8 +55,12 @@ POST_INSTALL = :
 NORMAL_UNINSTALL = :
 PRE_UNINSTALL = :
 POST_UNINSTALL = :
+build_alias = @build_alias@
+build_triplet = @build@
 host_alias = @host_alias@
 host_triplet = @host@
+target_alias = @target_alias@
+target_triplet = @target@
 AMTAR = @AMTAR@
 AWK = @AWK@
 BISON = @BISON@
@@ -85,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