Martin> since their info files will already be up-to-date. Only Martin> CVS users will have to upgrade, or get up-to-date info Martin> files from the packaged tarballs. Using the hopefully-soon-to-be-released texinfo package the latest info docs will build. Martin> Do we actually know that makeinfo from 3.12 fails, while Martin> 3.12f works fine? texinfo-3.12f does not support ＠ifnottex on WIN32. S> which reverses the other change to the Texinfo commands in that S> region. (The three ＠nodes that don't have a full complement of S> pointers were all introduced by your patch, probably need to change S> the others too.) Dunno if that will help, but I know makeinfo has S> been sensitive to xref issues in the past, and has never been good at S> giving useful error messages. Adrian Martin> Martin