Put instruction files from web site into CVS development directory.

[splint.git] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 0dffad866d34673ef42e71c77ee8333f93f52ad8..efb1efc371bf0b60dee46169bc50ad181f79925e 100644 (file)
--- 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)
+
+