Committing Evans's update of man page to fix problems reported by ESR.

[splint.git] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 38450a1f1346237a22814f93537338d5b135e8fa..c77eedafc081e33bb6dd7157fe90852b1982c452 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -44,8 +44,17 @@ binaryDerivedFiles = Makefile.binary.in configure.binary
 configure.binary:configure.binary.ac
        -autoconf -oconfigure.binary configure.binary.ac
 
+
 Makefile.binary.in:Makefile.binary.am
        -automake Makefile.binary
+       $(SED) -e s/Makefile\.binary/Makefile/ Makefile.binary.in > tMakefile.binary.in
+#      $(RM) Makefile.binary.in
+       $(CP) tMakefile.binary.in Makefile.binary.in
+#drl add this hack 3/1/2003
+#make the generated makefile depend on Makefile not Makefile.binary
+
+
+
 
 $(binaryDir)/Makefile.in: $(binaryDir)/Makefile.am
        -automake $(binaryDir)/Makefile