Re: Bug#273176: Deps of tetex-doc and tetex-extra
Frank Küster <frank@debian.org> wrote:
> Sidenote for post-sarge: Shouldn't we move the scripts used for browsing
> documentation to the tetex-doc package, especially texdoc, but maybe
> also texdoctk and those ConTeXt tools? This would make a lot of sense in
> a setup as the one described above.
Er, I don't know about the ConTeXt tools, but texdoc and texdoctk rely
on xdvi, so you gain nothing on a machine where you only want to read
documentation (ie, you cannot use texdoc without tetex-bin installed).
OTOH, there would be a little space gain for people who don't install
tetex-doc since they would not have the texdoc and texdoctk scripts.
Well, if that is what you are after, why not...
PS: I'll read your Policy proposal... soon.
--
Florent
Reply to: