On Tue, 27 Aug 2019 at 22:01, John Snow <js...@redhat.com> wrote: > > > > On 8/27/19 4:56 PM, Peter Maydell wrote: > > On Tue, 27 Aug 2019 at 21:52, John Snow <js...@redhat.com> wrote: > >> - For theming, I'm a fan of the RTD theme, because I think it makes the > >> TOC tree stand out better and makes for nicer browsing than the default > >> alabaster theme. Maybe when there's a better over-arching TOC laid out > >> with better organization we could see which themes the list likes best. > > > > FWIW, for the in-tree doc generation I opted for Alabaster > > (though I prefer RTD's look as well) because Alabaster doesn't > > require shipping any fonts, whereas RTD does, and it seemed > > easier to sidestep any questions about whether a font file in the > > docs was mere aggregation or not. For "putting docs up on the > > What do you mean by "mere aggregation"?
I mean what the GPL means by that term, ie the situation where you can put a GPL-licensed thing and a non-GPL licensed thing together without the non-GPL thing falling under the terms of the GPL. (The canonical example is "Linux distro CD which contains binaries for lots of different programs".) thanks -- PMM
