[tex-live] src specials fixes

Olaf Weber olaf@infovore.xs4all.nl
31 May 2002 22:59:03 +0200

Sebastian Rahtz writes:

> Fabrice, I think we should follow Olaf's suggestions.
> Can you do that in texlive?

Points to note:

- The message I implemented is 'source specials enabled'.
  We may want to do something different, or capitalize it, or

- In the long run, I think we should be able to properly get away with
  this message here rather than banner changes if we manage to get the
  source-specials to be transparent for a TeX run.

Olaf Weber

               (This space left blank for technical reasons.)