Confusing sample in autoconf manual

[santilistas]

By the way, is this the correct list to send this remarks?

In section 3.1.2 The Autoconf language, there is the example on Iron
Maiden and AC_DC.

@example
echo "Hard rock was here!  --[AC_DC]"
@end example

which results in:

@example
echo "Hard rock was here!  --AC_DC"
@end example


that demonstrates the losing of the quotation. However, a little bit
below there is this example:

@example
AC_MSG_WARN([[AC_DC stinks  --Iron Maiden]])
@end example

which tries to show that the quotation is lost, but there is no quotation.

Shouldn't it be written like this?:

@example
AC_MSG_WARN([[AC_DC stinks  --[Iron Maiden] ]])
@end example


--santilín