[tex-live] src specials fixes

Olaf Weber olaf@infovore.xs4all.nl
01 Jun 2002 00:22:03 +0200

Fabrice Popineau writes:
> * Karl Berry <karl@freefriends.org> writes:

>> 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 ...".

> Well, it will have to fix it because :
> - this option is not active by default; I run regularly the trip test,
> it never came to my mind to run it with this option active
> - this option is useful when you are writing the document (however, it
> is not meant to be active for compiling the final .dvi file)
> - tex engines are distributed for years now with it
> - it seems very difficult to change the banner lines without changing
> eTeX files that are copyrighted.

> If anybody has a better solution, please speak up.

Let's count:
- introducing three additional change files,
- modifying tex.ech and tex.pch
- modifying etex.mk, pdftex.mk, pdfetex.mk
I can now do

$ ./pdfetex -src --progname=pdfelatex small2e
This is eupdfeTeX, Version 3.14159-1.00a-pretest-20011114-ojmw-2.1 (Web2C 7.3.7)
Source specials enabled.
entering extended mode

Olaf Weber

               (This space left blank for technical reasons.)