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

diff --git a/Makefile.am b/Makefile.am
index f4ea95c..efb1efc 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -48,7 +48,7 @@ Makefile.binary.in:Makefile.binary.am
 $(binaryDir)/Makefile.in: $(binaryDir)/Makefile.am
 	-automake $(binaryDir)/Makefile
 
-EXTRA_DIST = $(binaryfixscript) $(binaryBuiltFiles) $(binaryDerivedFiles) $(binaryDirFiles)
+EXTRA_DIST = $(binaryfixscript) $(binaryBuiltFiles) $(binaryDerivedFiles) $(binaryDirFiles) install.html
 
 preDist:  $(binaryDir)/Makefile.in  $(binaryDerivedFiles) 
 
@@ -56,8 +56,13 @@ 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)
+
+