summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/lib/printversion.c
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2010-04-20 06:33:49 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2010-04-20 06:33:49 +0000
commitc069df30824ac859800243880e32f7dbdd6a9735 (patch)
tree79aa9f28ec870179384b1408e6d70e33ec703bec /Build/source/texk/web2c/lib/printversion.c
parent24b38822a35c7e7092f43ae7899072b8a41be5be (diff)
build system: some cleanup and better pTeX integration
git-svn-id: svn://tug.org/texlive/trunk@17940 c570f23f-e606-0410-a88d-b1316a301751
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);