Put manual in CVS

[splint.git] / configure

diff --git a/configure b/configure
index 998277cc20eea9dde700e5af0085288b6abbb531..a649f20aeb07a9cb56c27ecc803bb5b9a2976f4b 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by Autoconf 2.52 for Splint 3.0.0.21.
+# Generated by Autoconf 2.52 for Splint 3.0.1.
 #
 # Report bugs to <splint-bug@cs.virginia.edu>.
 #
@@ -149,8 +149,8 @@ mandir='${prefix}/man'
 # Identity of this package.
 PACKAGE_NAME='Splint'
 PACKAGE_TARNAME='splint'
-PACKAGE_VERSION='3.0.0.21'
-PACKAGE_STRING='Splint 3.0.0.21'
+PACKAGE_VERSION='3.0.1'
+PACKAGE_STRING='Splint 3.0.1'
 PACKAGE_BUGREPORT='splint-bug@cs.virginia.edu'
 
 ac_prev=
@@ -567,7 +567,7 @@ if test "$ac_init_help" = "long"; then
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<EOF
-\`configure' configures Splint 3.0.0.21 to adapt to many kinds of systems.
+\`configure' configures Splint 3.0.1 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -633,7 +633,7 @@ fi
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of Splint 3.0.0.21:";;
+     short | recursive ) echo "Configuration of Splint 3.0.1:";;
    esac
   cat <<\EOF
 
@@ -703,7 +703,7 @@ fi
 test -n "$ac_init_help" && exit 0
 if $ac_init_version; then
   cat <<\EOF
-Splint configure 3.0.0.21
+Splint configure 3.0.1
 generated by GNU Autoconf 2.52
 
 Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001
@@ -718,7 +718,7 @@ cat >&5 <<EOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
-It was created by Splint $as_me 3.0.0.21, which was
+It was created by Splint $as_me 3.0.1, which was
 generated by GNU Autoconf 2.52.  Invocation command line was
 
   $ $0 $@
@@ -1270,7 +1270,7 @@ fi
 
 # Define the identity of the package.
 PACKAGE=splint
-VERSION=3.0.0.21
+VERSION=3.0.1
 
 # Autoconf 2.50 wants to disallow AM_ names.  We explicitly allow
 # the ones we care about.
@@ -3059,7 +3059,7 @@ cat >>confdefs.h <<EOF
 EOF
 
 # These used to be in herald.h
-LCL_PARSE_VERSION="Splint 3.0.0.21"
+LCL_PARSE_VERSION="Splint 3.0.1"
 
 cat >>confdefs.h <<EOF
 #define SPLINT_VERSION "$LCL_PARSE_VERSION --- `date +"%d %b %Y"`"
@@ -3289,7 +3289,7 @@ EOF
 
 cat >>$CONFIG_STATUS <<EOF
 ac_cs_version="\\
-Splint config.status 3.0.0.21
+Splint config.status 3.0.1
 configured by $0, generated by GNU Autoconf 2.52,
   with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
 
@@ -3372,7 +3372,7 @@ cat >&5 << _ACEOF
 ## Running config.status.  ##
 ## ----------------------- ##
 
-This file was extended by $as_me (Splint 3.0.0.21) 2.52, executed with
+This file was extended by $as_me (Splint 3.0.1) 2.52, executed with
   CONFIG_FILES    = $CONFIG_FILES
   CONFIG_HEADERS  = $CONFIG_HEADERS
   CONFIG_LINKS    = $CONFIG_LINKS