diff options
author | Karl Berry <karl@freefriends.org> | 2017-02-13 18:43:14 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-02-13 18:43:14 +0000 |
commit | 5ef2fb04a27cd5ef7c85fbefec889b2503259290 (patch) | |
tree | 5d213e7091d68bc4226e68d6ad83ffc774dfe370 /Build/source/texk/detex/TLPATCHES/patch-05-kern-and-glue | |
parent | cdedcff919defc8bac478adf4411c495e08ccd25 (diff) |
rename foo/foo-PATCHES to foo/TLPATCHES for better completion
git-svn-id: svn://tug.org/texlive/trunk@43212 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/detex/TLPATCHES/patch-05-kern-and-glue')
-rw-r--r-- | Build/source/texk/detex/TLPATCHES/patch-05-kern-and-glue | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/Build/source/texk/detex/TLPATCHES/patch-05-kern-and-glue b/Build/source/texk/detex/TLPATCHES/patch-05-kern-and-glue new file mode 100644 index 00000000000..784ef2ff5a7 --- /dev/null +++ b/Build/source/texk/detex/TLPATCHES/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); } |