Hi,
newer makeinfo (>=3.12c) _requires_ a "." or "," after a @xref so
a
lot of the .texi - files failes to compile.
A patch correcting the files is appended.
Enrico
--
eMail: enrico.scholz(a)wirtschaft.tu-chemnitz.de
talk: ensc(a)ultra.csn.tu-chemnitz.de