On Tue, Nov 22, 2016 at 08:54:05AM +0000, Guenter Milde wrote: > Therefore: > > * Warn the user when including a child document with different > "use-non-TeX-fonts" setting.
+1. It would be simliar to what we do if the document class of the child is different from master. Scott
signature.asc
Description: PGP signature
