catch "exec $MAKEINFO -o ./nonsense.info $srcdir/text/nonsense.texi" maki_out

verbose "Makeinfo output: $maki_out" 1

if [string match                 \
	"*Unknown info command*" \
	"$maki_out"              \
   ] then {
	pass "unknown command detection"
} else {
	fail "unknown command detection"
}
