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

diff --git a/Makefile.am b/Makefile.am
index 0dffad8..efb1efc 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -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)
+
+