diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptexextra.h')
-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 63539c55666..9dd5be78e24 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.14159265-" PTEX_VERSION +#define BANNER "This is pTeX, Version 3.141592653-" PTEX_VERSION #define COPYRIGHT_HOLDER "D.E. Knuth" #define AUTHOR NULL #define PROGRAM_HELP PTEXHELP |