On 2020/03/05 22:57, Edd Barrett wrote: > On Thu, Mar 05, 2020 at 09:11:39PM +0000, Stuart Henderson wrote: > > Do we really need the webfonts? > > I don't currently have a use for web fonts, but I followed the precedent > set by other font ports. Many include woff and woff2 files.
It does seem like a lot of bloat for something that isn't going to be much use in the /usr/local font dir anyway and these aren't particularly small fonts (many of the existing ones with woff are a fair bit smaller than this, with exceptions of fira and stix which are pretty huge..) > Happy to kill them though... let me know. think I'd prefer that.
