catch "exec $MAKEINFO -o ./nonsense.info $srcdir/text/nonsense.texi" maki_outverbose "Makeinfo output: $maki_out" 1if [string match                 \	"*Unknown info command*" \	"$maki_out"              \   ] then {	pass "unknown command detection"} else {	fail "unknown command detection"}