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