diff -dur pvs-4.2.ORIG/configure.in pvs-4.2/configure.in
--- pvs-4.2.ORIG/configure.in	2007-04-01 00:02:51.000000000 -0600
+++ pvs-4.2/configure.in	2009-11-05 17:09:13.484872102 -0700
@@ -21,7 +21,8 @@
 
 
 dnl make sure we are using a recent autoconf version
-AC_PREREQ(2.59)
+AC_PREREQ(2.61)
+AC_INIT([pvs],[4.2],[pvs-bugs@csl.sri.com])
 
 dnl If it doesn't look like GNU Make is being used, give a friendly warning
 tem=`make --version -f /dev/null 2>&1 | grep GNU`
@@ -30,8 +31,6 @@
 fi
 
 dnl This file must exist for configure to run
-AC_MSG_CHECKING(for existence of src/pvs.lisp)
-AC_INIT
 AC_CONFIG_SRCDIR([src/pvs.lisp])
 	
 dnl This sets build, build_cpu, build_vendor, and build_os
@@ -146,7 +145,7 @@
 export PLATFORM
 
 # Finally create all the generated files
-AC_CONFIG_FILES([Makefile pvs pvsio doc/user-guide/Makefile doc/language/Makefile doc/language/pvs-doc.el doc/prover/Makefile])
+AC_CONFIG_FILES([Makefile pvs pvsio doc/api/Makefile doc/user-guide/Makefile doc/language/Makefile doc/language/pvs-doc.el doc/prover/Makefile])
 AC_OUTPUT
 
 chmod a+x pvs