Sean Whitton <spwhit...@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 (r...@debian.org) <http://www.eyrie.org/~eagle/>
