Alas it seems necessary to do this on a linux console (don't know

My point is that it would seem to be a bug in linux.  If we tried to fix
every bug in every version in linux in the texinfo sources, we'd be in
trouble.  Can you (or someone) ask the kernel people (or whoever), please?

Reply via email to