diff options
Diffstat (limited to 'Build/source/texk/web2c/tex.ch')
| -rw-r--r-- | Build/source/texk/web2c/tex.ch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index a76721e9164..c040e284ff4 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -72,10 +72,10 @@ a modified \TeX{} version. @z @x [1.2] l.188 -@d banner=='This is TeX, Version 3.1415926' {printed when \TeX\ starts} +@d banner=='This is TeX, Version 3.14159265' {printed when \TeX\ starts} @y -@d TeX_banner_k=='This is TeXk, Version 3.1415926' {printed when \TeX\ starts} -@d TeX_banner=='This is TeX, Version 3.1415926' {printed when \TeX\ starts} +@d TeX_banner_k=='This is TeXk, Version 3.14159265' {printed when \TeX\ starts} +@d TeX_banner=='This is TeX, Version 3.14159265' {printed when \TeX\ starts} @# @d banner==TeX_banner @d banner_k==TeX_banner_k |