diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-04-20 06:33:49 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-04-20 06:33:49 +0000 |
commit | c069df30824ac859800243880e32f7dbdd6a9735 (patch) | |
tree | 79aa9f28ec870179384b1408e6d70e33ec703bec /Build/source/texk/web2c/lib/printversion.c | |
parent | 24b38822a35c7e7092f43ae7899072b8a41be5be (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.c | 11 |
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); |