diff options
-rw-r--r-- | Build/source/texk/web2c/cwebdir/prod-twill.w | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/cwebdir/prod-twill.w b/Build/source/texk/web2c/cwebdir/prod-twill.w index 227bc6a3832..dec19696204 100644 --- a/Build/source/texk/web2c/cwebdir/prod-twill.w +++ b/Build/source/texk/web2c/cwebdir/prod-twill.w @@ -4,7 +4,7 @@ % It is distributed WITHOUT ANY WARRANTY, express or implied. % Version 3.6 --- May 2000 % -@ Here is a table of all the productions. Each production that +@* Table of all productions. Each production that combines two or more consecutive scraps implicitly inserts a {\tt \$} where necessary, that is, between scraps whose abutting boundaries have different |mathness|. In this way we never get double {\tt\$\$}. |