# lessons:
# 1) ALL expected args to a cmd on one line!
# 2) `*' at end of string match pattern essential---match *complete* string!
# 3) $srcdir (at least when .) expanded in dir where runtest invoked---
#    NOT dir where test lives!
# 4) stderr already folded into stdout; no need for 2>&1 or such things

catch "exec $MAKEINFO $srcdir/text/not.texi" maki_out
verbose "Makeinfo output: $maki_out" 1

if [string match "No*setfilename*found*in*" "$maki_out"] then {
	pass "@setfilename required"
} else {
	fail "@setfilename required"
}