summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/lib/printversion.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/lib/printversion.c')
-rw-r--r--Build/source/texk/web2c/lib/printversion.c11
1 files changed, 11 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/lib/printversion.c b/Build/source/texk/web2c/lib/printversion.c
index 2cfb751d58f..85399a44916 100644
--- a/Build/source/texk/web2c/lib/printversion.c
+++ b/Build/source/texk/web2c/lib/printversion.c
@@ -5,6 +5,9 @@
#include "config.h"
#include "lib.h"
#include <kpathsea/version.h>
+#ifdef PTEX
+#include <ptexenc/ptexenc.h>
+#endif
/* We're passed in the original WEB banner string, which has the form
This is PROGRAM, Version VERSION-NUMBER
@@ -36,8 +39,16 @@ printversionandexit (const_string banner,
prog_name[len] = 0;
/* The Web2c version string starts with a space. */
+#ifdef PTEX
+ printf ("%s %s (%s)%s\n", prog_name, prog_version, get_enc_string(),
+ versionstring);
+#else
printf ("%s %s%s\n", prog_name, prog_version, versionstring);
+#endif
puts (kpathsea_version_string);
+#ifdef PTEX
+ puts (ptexenc_version_string);
+#endif
if (copyright_holder) {
printf ("Copyright 2009 %s.\n", copyright_holder);