[EXT] Re: l3backend: adding new DVI specials?

Jonathan Kew jfkthame at gmail.com
Fri Feb 14 16:00:26 CET 2020

On 14/02/2020 13:08, Zdenek Wagner wrote:
> Several drivers already have a command line switch for disabling the warnings.

This is the correct solution, IMO. Creating some kind of new internal 
syntax for silently-ignored-by-default "special" content just pushes the 
problem down a level without really solving anything.

Specials are inherently driver-specific and non-portable, and a driver 
cannot be expected to do anything with specials it doesn't support 
except to ignore them. Whether it does so silently or issues a warning 
is a choice for the user to make.


More information about the tex-live mailing list.