summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ptexdir/ptex-base.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptex-base.ch')
-rw-r--r--Build/source/texk/web2c/ptexdir/ptex-base.ch3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptex-base.ch b/Build/source/texk/web2c/ptexdir/ptex-base.ch
index d20db99cd7d..78704286d85 100644
--- a/Build/source/texk/web2c/ptexdir/ptex-base.ch
+++ b/Build/source/texk/web2c/ptexdir/ptex-base.ch
@@ -50,12 +50,13 @@
% (2012-05-11) PB pTeX p3.3
% (2013-04-09) PB pTeX p3.4 (TL 2013)
% (2014-04-17) KB pTeX p3.5 (TL 2014)
+% (2014-03-15) KB pTeX p3.6 (TL 2015)
%
@x [1.2] l.200 - pTeX:
@d banner==TeX_banner
@d banner_k==TeX_banner_k
@y
-@d pTeX_version_string=='-p3.5' {current p\TeX\ version}
+@d pTeX_version_string=='-p3.6' {current p\TeX\ version}
@#
@d pTeX_banner=='This is pTeX, Version 3.14159265',pTeX_version_string
@d pTeX_banner_k==pTeX_banner