buildworld fails in libcom_err/doc

[Raoul]

Hello all,

since this morning make buildworld fails here dut to the following:

makeinfo --no-split -I /usr/src/lib/libcom_err/doc -I /usr/src/lib/libcom_err/doc com_err.texinfo  -o com_err.info
com_err.texinfo:377: warning: unexpected Character ( in macro @var.
com_err.texinfo:377: warning: unexpected character ) in macro @var.
com_err.texinfo:384: warning: unexpectedcharacter ( in macro @var.
com_err.texinfo:384: warning: unexpectedcharacter ) in macro @var.
com_err.texinfo:577:  improbable dans la  character( in macro @var.
com_err.texinfo:577: warning: unexpected character ) in macro @var.
gzip -cn com_err.info > com_err.info.gz

i recvsup'ed, deleted /usr/obj, updated texinfo; and the file seems normal!):

thanks for your help.

Raoul
rmgls at free.fr