diff options
Diffstat (limited to 'doc/manywarnings.texi')
| -rw-r--r-- | doc/manywarnings.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manywarnings.texi b/doc/manywarnings.texi index ea1b758cc0..01e23116cc 100644 --- a/doc/manywarnings.texi +++ b/doc/manywarnings.texi @@ -6,7 +6,7 @@ package. Here is an example use: @smallexample AC_ARG_ENABLE([gcc-warnings], - [AS_HELP_STRING([--enable-gcc-warnings@@<:@@=TYPE@@:>@@], + [AS_HELP_STRING([[--enable-gcc-warnings[=TYPE]]], [control generation of GCC warnings. The TYPE 'no' disables warnings; 'yes' (default) generates cheap warnings; 'expensive' in addition generates expensive warnings.])]) |