Fixed state clauses. Added obvious loop exec checking.

[splint.git] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 305210fa46f88aa08df069ba9f15bc7f5335e405..83750b98e9d84fec7c99dbbdeb58ddbd2f145cd3 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -1,8 +1,9 @@
 ## Process this file with automake to create Makefile.in. -*-Makefile-*-
-
-## Makefile for lclint 3.0
 ##
-## Copyright (C) 2001 University of Virginia,
+## Makefile for Splint 3.0
+## For more information: http://www.splint.org
+##
+## Copyright (C) 2001-2 University of Virginia,
 ##         Massachusetts Institute of Technology
 ##
 ## This program is free software; you can redistribute it and/or modify it
@@ -21,7 +22,7 @@
 ##
 ## For information on lclint: lclint-request@cs.virginia.edu
 ## To report a bug: lclint-bug@cs.virginia.edu
-## For more information: http://lclint.cs.virginia.edu
+## 
 
 AUTOMAKE_OPTIONS = 1.5 foreign