Fix typo: empty example.

diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index 6569134d634638df353110390786e229225f4888..544d39a3dbc64eefbd7390c6578e9330b3559b0b 100644 (file)
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -13632,9 +13632,6 @@ Invoking @command{configure} by hand bypasses this setting, so you may
 need to use a command like @samp{/bin/bash ./configure
 CONFIG_SHELL=/bin/bash} to insure that the same shell is used
 everywhere.
-@example
-
-@end example
 @end defvar
 
 @defvar CONFIG_STATUS