diff options
Diffstat (limited to 'Build/source/texk/detex/detex-PATCHES/patch-05-kern-and-glue')
| -rw-r--r-- | Build/source/texk/detex/detex-PATCHES/patch-05-kern-and-glue | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/Build/source/texk/detex/detex-PATCHES/patch-05-kern-and-glue b/Build/source/texk/detex/detex-PATCHES/patch-05-kern-and-glue new file mode 100644 index 00000000000..784ef2ff5a7 --- /dev/null +++ b/Build/source/texk/detex/detex-PATCHES/patch-05-kern-and-glue @@ -0,0 +1,35 @@ +diff -ur detex-2.8.orig/detex.l detex-2.8/detex.l +--- detex-2.8.orig/detex.l 2010-06-12 00:15:05.000000000 +0200 ++++ detex-2.8/detex.l 2011-06-07 13:42:05.000000000 +0200 +@@ -157,7 +157,12 @@ + W [a-zA-Z]+ + N [+-]?(([0-9]+(\.[0-9]+)?)|(\.[0-9]+)) + U pt|pc|in|bp|cm|mm|dd|cc|sp +-D {S}(({N}{S}{U})|(\\{W})){S} ++HU {U}|em ++HD {S}(({N}{S}{HU})|(\\{W})){S} ++HG {HD}(plus{HD})?(minus{HD})? ++VU {U}|ex ++VD {S}(({N}{S}{VU})|(\\{W})){S} ++VG {VD}(plus{VD})?(minus{VD})? + Z \*? + + %Start Define Display IncludeOnly Input Math Normal Control +@@ -212,11 +217,12 @@ + <LaEnd>"\n" NEWLINE; + <LaEnd>. ; + +-<Normal>"\\vskip"{D} ; +-<Normal>"\\vspace"{Z}{S}"{"{D}"}" ; +-<Normal>"\\hskip"{D} ; +-<Normal>"\\hspace"{Z}{S}"{"{D}"}" ; +-<Normal>"\\addvspace"{S}"{"{D}"}" ; ++<Normal>"\\kern"{HD} ; ++<Normal>"\\vskip"{VG} ; ++<Normal>"\\vspace"{Z}{S}"{"{VG}"}" ; ++<Normal>"\\hskip"{HG} ; ++<Normal>"\\hspace"{Z}{S}"{"{HG}"}" ; ++<Normal>"\\addvspace"{S}"{"{VG}"}" ; + + <Normal>"\\newlength" { KILLARGS(1); } + <Normal>"\\setlength" { KILLARGS(2); } |