Fixed creation of temp files.

[splint.git] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index f4ea95c122aa4c25f886ea59f0f6ede5b7f3c507..3beeb1d1ed222197099ad1811f6c2b65bd5794f6 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -24,6 +24,8 @@
 ## To report a bug: splint-bug@splint.org
 ## 
 
+.PHONY: test
+
 AUTOMAKE_OPTIONS = 1.5 foreign
 
 binaryfixscript = ./fixBinaryDist.sh
@@ -48,7 +50,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 +58,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)
+
+