diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ptexextra.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptexextra.h b/Build/source/texk/web2c/ptexdir/ptexextra.h index b39c1b0c852..d58253dd8f1 100644 --- a/Build/source/texk/web2c/ptexdir/ptexextra.h +++ b/Build/source/texk/web2c/ptexdir/ptexextra.h @@ -5,7 +5,7 @@ #include <ptexdir/ptex_version.h> /* for PTEX_VERSION */ -#define BANNER "This is pTeX, Version 3.1415926-" PTEX_VERSION +#define BANNER "This is pTeX, Version 3.14159265-" PTEX_VERSION #define COPYRIGHT_HOLDER "D.E. Knuth" #define AUTHOR NULL #define PROGRAM_HELP PTEXHELP |