summaryrefslogtreecommitdiff
path: root/Build/source/texk/detex/detex-src/detex.l
diff options
context:
space:
mode:
authorHironobu Yamashita <h.y.acetaminophen@gmail.com>2020-12-03 10:39:54 +0000
committerHironobu Yamashita <h.y.acetaminophen@gmail.com>2020-12-03 10:39:54 +0000
commited17c21f2e17a84c3b7456204f165ace9c7fdc8d (patch)
treee214a7444ef1a52632536f46f1aee8c911dfed5a /Build/source/texk/detex/detex-src/detex.l
parentf8270f8f359c3455c5360ee58ecdd355cfdd19a0 (diff)
import opendetex-2.8.9
git-svn-id: svn://tug.org/texlive/trunk@57051 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/detex/detex-src/detex.l')
-rw-r--r--Build/source/texk/detex/detex-src/detex.l1
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/detex/detex-src/detex.l b/Build/source/texk/detex/detex-src/detex.l
index 02f6db80546..0b0590a97ff 100644
--- a/Build/source/texk/detex/detex-src/detex.l
+++ b/Build/source/texk/detex/detex-src/detex.l
@@ -423,6 +423,7 @@ VERBSYMBOL =|\\leq|\\geq|\\in|>|<|\\subseteq|\subseteq|\\subset|\\supset|\\sim|\
/* escaping commands */
<Normal>"\\slash" putchar('/');
+<Normal>"\\%" putchar('%');
<Normal>\\(aa|AA|ae|AE|oe|OE|ss)[ \t]*[ \t\n}] /* handle ligatures */ {(void)printf("%.2s", yytext+1);}
<Normal>\\[OoijLl][ \t]*[ \t\n}] {(void)printf("%.1s", yytext+1);}