Diego Saravia wrote:
> probably all gnu project must be removed, they use texinfo,

Texinfo != TeX

Anyway, my point wss that if a package must be removed (which is not
the case for TeX Live, I believe), all the relevant bugs that result
from the removal ought to be fixed, one way or another.



Reply via email to