Meanwhile, please apply this patch to texinfo. Done, thanks.
_______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
- Re: Debian-specific Autoconf patches Ralf Wildenhues
- Re: Debian-specific Autoconf patches Karl Berry
