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