diff options
author | Hironobu Yamashita <h.y.acetaminophen@gmail.com> | 2020-12-03 10:39:54 +0000 |
---|---|---|
committer | Hironobu Yamashita <h.y.acetaminophen@gmail.com> | 2020-12-03 10:39:54 +0000 |
commit | ed17c21f2e17a84c3b7456204f165ace9c7fdc8d (patch) | |
tree | e214a7444ef1a52632536f46f1aee8c911dfed5a /Build/source/texk/detex/detex-src/detex.l | |
parent | f8270f8f359c3455c5360ee58ecdd355cfdd19a0 (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.l | 1 |
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);} |