[tex-live] source changes

Fabrice Popineau Fabrice.Popineau@supelec.fr
Sat, 01 Jun 2002 17:41:11 +0200

* Thomas Esser <te@informatik.uni-hannover.de> writes:

> Does not work: ./tie -c etex.ch

Have a look there :

./tie -c etex.ch /t/texlive/Build/source/TeX/texk/web2c/etexdir/tex.ch0 etex.web /t/texlive/Build/source/TeX/texk/web2c/tex.ch \
/t/texlive/Build/source/TeX/texk/web2c/etexdir/tex.ech /t/texlive/Build/source/TeX/texk/web2c/etexdir/tex.ch1
This is TIE, CWEB Version 2.4. (Web2C 7.3.7)

It should read:

--- etexdir/etex.mk~    Sat Jun 01 17:39:43 2002
+++ etexdir/etex.mk     Sat Jun 01 17:40:02 2002
@@ -12,7 +12,7 @@
 etex.web: tie tex.web etexdir/etex.ch
        ./tie -m etex.web $(srcdir)/tex.web $(srcdir)/etexdir/etex.ch
 etex.ch: tie etex.web etexdir/tex.ch0 tex.ch etexdir/tex.ech etexdir/tex.ch1
-       ./tie -c etex.ch $(srcdir)/etexdir/tex.ch0 etex.web $(srcdir)/tex.ch \
+       ./tie -c etex.ch etex.web $(srcdir)/etexdir/tex.ch0 $(srcdir)/tex.ch \
        $(srcdir)/etexdir/tex.ech $(srcdir)/etexdir/tex.ch1

 # Tests...

The other .mk files seems ok from this point of view.

Anyway, we should also  integrate Olaf's patch for the special
mechanism. And also make pdftex pdf backend quite about the specials.

This raises the question of banners : should we stick with one line
addition or change them ? The main problem I see with changing banners
is that we will need to change them in several places each new release
of pdftex.