defxcond.texi:10: warning: missing name for @deffn defxcond.texi:13: warning: missing name for @deffnx