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" | |
} |