Re: Bug#39823: tetex-bin: Texinfo tools should have their own package =(

[Christoph Martin <martin@uni-mainz.de>]

Josip Rodin writes:
 > On Sun, Jun 20, 1999 at 05:48:31PM -0300, Nicolás Lichtmaier wrote:
 > > Look: 
 > > "Need to get 13.9Mb of archives. After unpacking 34.8Mb will be used."
 > > 
 > >  I don't use TeX. I won't use TeX. I just need to use the texinfo
 > > tools... =(
 > 
 > [ BTW I thought I submitted a bug like this before... odd. ]
 > 
 > Anyway, I also think texinfo stuff should be removed from tetex-bin
 > package.
 > 
 > I'm texinfo source package maintainer, but I don't know which sources
 > are better - GNU texinfo ones or those from teTeX? If the former, I'll
 > include a 'texinfo' binary package from texinfo source. If it is the
 > latter case, then tetex maintainer has to split it out himself.

So, someone should find out, which one is better.

Christoph