diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/tex.ch0')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/tex.ch0 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/tex.ch0 b/Build/source/texk/web2c/pdftexdir/tex.ch0 index 73f1a49a1c3..012f6b31f42 100644 --- a/Build/source/texk/web2c/pdftexdir/tex.ch0 +++ b/Build/source/texk/web2c/pdftexdir/tex.ch0 @@ -20,11 +20,11 @@ % pdfetex.web and tex.ch @x [1.2] l.188 -@d TeX_banner=='This is TeX, Version 3.14159265' {printed when \TeX\ starts} +@d TeX_banner=='This is TeX, Version 3.141592653' {printed when \TeX\ starts} @# @d banner==pdfTeX_banner @y -@d banner=='This is TeX, Version 3.14159265' {printed when \TeX\ starts} +@d banner=='This is TeX, Version 3.141592653' {printed when \TeX\ starts} @z @x [17.236] l.4960 - first web2c, then pdfTeX, then e-TeX additional integer parameters |