diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptexextra.in')
| -rw-r--r-- | Build/source/texk/web2c/ptexdir/ptexextra.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptexextra.in b/Build/source/texk/web2c/ptexdir/ptexextra.in index 2910ac8bad4..b993d8eb0fb 100644 --- a/Build/source/texk/web2c/ptexdir/ptexextra.in +++ b/Build/source/texk/web2c/ptexdir/ptexextra.in @@ -3,7 +3,7 @@ This is included by pTeX, from ptexextra.c */ -string based_prog_name = "TeX"; +const_string based_prog_name = "TeX"; const_string PTEXHELP[] = { "Usage: ptex [option] texfile", " : ptex [option] &format texfile", |