Put instruction files from web site into CVS development directory.

[splint.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index ece7f17419056c97f890273925490a4742aa9e74..b48371b8d7e14a4f72a814018f02694503fec93b 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -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)