[tex-live] src specials fixes

[Olaf Weber]

Fabrice Popineau writes:

> Ok, the attched files where filtered.
> Here they are again.

> +@d banner=='This is TeX, Version 3.14159' {printed when \TeX\ starts}
> +@y
> +@d banner=='This is TeX, Version 3.14159' {printed when \TeX\ starts}
> +@d banner_src=='This is src-special-TeX, Version 3.14159' {printed when \TeX\ starts}

Under the circumstances, I'm very much tempted to use

        This isn't TeX, Version 3.14159

as the banner -- this should probably be on whenever we're "plain" TeX
with anything out of the oridnary enabled: tcx files, src-specials,
MLTeX (which violates the spirit, if perhaps not the letter, of the
license).


-- 
Olaf Weber

               (This space left blank for technical reasons.)