[tex-live] src specials fixes

Karl Berry karl@freefriends.org
Fri, 31 May 2002 17:23:10 -0400

    Fabrice, I think we should follow Olaf's suggestions.

I appreciate how much more painful it is to change the banner, but the
whole point here is to fix the problem, which is a binary that isn't TeX
claims to be TeX.  I don't think an additional line fixes it, because it
still says "This is TeX ...".