Put instruction files from web site into CVS development directory.

[splint.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index ff515086ccca0fdd9e0e443947e4cfd6f873a1aa..b48371b8d7e14a4f72a814018f02694503fec93b 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -99,7 +99,7 @@ binaryBuiltFiles = Makefile.binary.am configure.binary.ac
 #without the bleeding edge versions of automake and autoconf
 binaryDerivedFiles = Makefile.binary.in configure.binary
 
-EXTRA_DIST = $(binaryfixscript) $(binaryBuiltFiles) $(binaryDerivedFiles) $(binaryDirFiles)
+EXTRA_DIST = $(binaryfixscript) $(binaryBuiltFiles) $(binaryDerivedFiles) $(binaryDirFiles) install.html
 subdir = .
 ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
@@ -439,8 +439,11 @@ bindist: $(binaryDerivedFiles)
        $(MAKE)
        $(RM) -f $(binaryDir)/splint
        $(CP) src/splint $(binaryDir)/splint
+       $(MV) install.html installSource.html
+       $(CP) doc/` uname | tr [A-Z] [a-z]`.html install.html
        $(MAKE) -e dist dh_script=$(binaryfixscript) SUBDIRS="$(binaryDir) lib imports  doc"
-       $(MV) $(distdir).tar.gz $(distdir).`uname`.tgz 
+       $(MV) $(distdir).tar.gz $(distdir).`uname`.tgz
+       $(MV) installSource.html install.html
 
 dist-hook:
        cd $(distdir);  pwd; $(dh_script)