summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/tex.ch0
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/tex.ch0')
-rw-r--r--Build/source/texk/web2c/pdftexdir/tex.ch04
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