summaryrefslogtreecommitdiff
path: root/Build/source/texk/detex/TLPATCHES/patch-05-kern-and-glue
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-02-13 18:43:14 +0000
committerKarl Berry <karl@freefriends.org>2017-02-13 18:43:14 +0000
commit5ef2fb04a27cd5ef7c85fbefec889b2503259290 (patch)
tree5d213e7091d68bc4226e68d6ad83ffc774dfe370 /Build/source/texk/detex/TLPATCHES/patch-05-kern-and-glue
parentcdedcff919defc8bac478adf4411c495e08ccd25 (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-glue35
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); }