[tex-live] possible withdrawal of TeX Live

Thomas Esser te@informatik.uni-hannover.de
Fri, 31 May 2002 15:44:37 +0200

> > What about getting rid of the -src option?
> that means
>  a) finding a source fix
>  b) recompiling on all platforms

I don't think that this option needs to be removed. As long as the banner
and the log don't say "This is TeX", we are on the safe side. Removing
that option is not a good idea as this option *is* useful (the macro
package is not as good as support for src specials inside the TeX engine).

Someone has to write the code that chages the banner if source specials
are active, however. And we need a name...