[tex-live] [moho01ab@student.cbs.dk: [tex-k] Source specials under web2c 7.5.2]

[Morten Høgholm]

On Wed, 17 Sep 2003 09:28:54 +0200, Fabrice Popineau 
<Fabrice.Popineau at supelec.fr> wrote:

>
> ... definitely, it is us, but that was precisely the reason why:
> - the banner advertises the engine is _TeXk_
> - 'source specials enabled' message is output
>
> I guess there is no simple way to workaround this. Source specials are
> only a convenience for people doing 'regular' latex.
I know it's non-trivial. The latest MiKTeX has the exact same problem, but 
unlike web2c it doesn't say anything about being another TeX:

This is TeX, Version 3.141592 (MiKTeX 2.3) (preloaded format=latex 
2000.11.28)  17 SEP 2003 13:50

The problem has been re-reported to the maintainer of MiKTeX as well. But 
as you say this is not a crucial bug as source specials aren't needed for 
the final version of a document.
-- 
Morten Høgholm