Added html version of manual. (This is the 7 Jan 2002 version.)

[splint.git] / Makefile.binary.am

diff --git a/Makefile.binary.am b/Makefile.binary.am
index 6392725631881a01a11392f3e333121c25e2c38b..3d20dd3dacf56905949d2e1028ecfaa30e877d7f 100644 (file)
--- a/Makefile.binary.am
+++ b/Makefile.binary.am
@@ -24,7 +24,7 @@
 ## To report a bug: splint-bug@splint.org
 ## 
 
-AUTOMAKE_OPTIONS = 1.5 foreign
+AUTOMAKE_OPTIONS = 1.6.3 foreign
 
 binaryDir = bin