Eli Zaretskii wrote :
> 
> In that case, you will have to run makeinfo under a debugger and see what 
> happens there when it comes to the @top line (or to @ifnottex before it).
> 
I know :).  I only asked if there is somewhere a snapshot or a CVS tree
of the development version of texinfo, where perhaps the bug is already fixed.

Philippe

Reply via email to