--- autoconf.texi.orig	Tue Jul 17 18:34:55 2001
+++ autoconf.texi	Fri Aug 17 12:02:57 2001
@@ -2646,7 +2646,7 @@
 write:
 
 @example
-if test "$package_foo_enabled" = yes then;
+if test "$package_foo_enabled" = yes; then
   AC_CONFIG_SUBDIRS(foo)
 fi
 @end example