[EXT] Re: l3backend: adding new DVI specials?
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