Bug#900060: apt-get build-dep debian-policy installs too much
Sean Whitton <spwhitton@spwhitton.name> writes:
> On Fri, May 25 2018, Ian Jackson wrote:
>> (There was also an *enormous* pile of fonts and document processing
>> tools etc., which is expected, I guess, although I do wonder what
>> proportion of all that is used.)
> Once we finish converting documents other than the main Policy manual to
> rst, a lot of this will go away. The reason there are so many is mainly
> because we are using both docbook and rst for the time being.
I wouldn't be *too* hopeful, since they both use TeX under the hood for
PDF generation and I think that's where most of the fonts are coming from.
--
Russ Allbery (rra@debian.org) <http://www.eyrie.org/~eagle/>
Reply to: