diff options
Diffstat (limited to 'Build/source/texk/web2c/triptest')
-rwxr-xr-x | Build/source/texk/web2c/triptest | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/triptest b/Build/source/texk/web2c/triptest index bbb8b777085..cd786c81263 100755 --- a/Build/source/texk/web2c/triptest +++ b/Build/source/texk/web2c/triptest @@ -21,9 +21,9 @@ cat >filter <<-\_EOF s/) [0-9A-Z: ]*$/)/ s,^(\./,(, s/[1-9][0-9]* strings out of [1-9].*/XX strings out of YYY/ - s/[1-9][0-9]* string characters out of [1-9].*/XXX string characters out of XYYY/ - s/sequences out of [1-9].*/sequences out of XYYY/ - s/[1-9] hyphenation exceptions* out of [1-9].*/X hyphenation exceptions out of XYY/ + s/[1-9][0-9]* string characters out of [1-9].*/XXX string characters out of YYYY/ + s/sequences out of [1-9].*/sequences out of YYYY/ + s/[1-9] hyphenation exceptions* out of [1-9].*/X hyphenation exceptions out of YYY/ s/[1-9][0-9]* strings of total length [1-9].*/XXXX strings of total length YYYYY/ s/9 ops out of [1-9][0-9]*/9 ops out of YYY/ s/ 16341\.999.*fil/ 16342.0fil/ |