diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-02-15 11:15:07 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-02-15 11:15:07 +0100 |
| commit | a036ac2dd19b592316e1b479360e9e6c6700e935 (patch) | |
| tree | 321156a4e2af995a7f401e1b773fd8813e3928da /tex/generic/context/luatex/luatex-fonts-def.lua | |
| parent | d73f5987ca04dbdf0a134236c3314dadd7a73565 (diff) | |
| download | context-a036ac2dd19b592316e1b479360e9e6c6700e935.tar.gz | |
2016-02-15 10:29:00
Diffstat (limited to 'tex/generic/context/luatex/luatex-fonts-def.lua')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-def.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-def.lua b/tex/generic/context/luatex/luatex-fonts-def.lua index f0941ecdc..494ac00a9 100644 --- a/tex/generic/context/luatex/luatex-fonts-def.lua +++ b/tex/generic/context/luatex/luatex-fonts-def.lua @@ -47,7 +47,7 @@ local filename_1 = P("file:")/isfile * (namespec/thename) local filename_2 = P("[") * P(true)/isname * (((1-P("]"))^0)/thename) * P("]") local fontname_1 = P("name:")/isname * (namespec/thename) local fontname_2 = P(true)/issome * (namespec/thename) -local sometext = (R("az","AZ","09") + S("+-."))^1 +local sometext = (R("az","AZ","09") + S("+-.{}"))^1 local truevalue = P("+") * spaces * (sometext/istrue) local falsevalue = P("-") * spaces * (sometext/isfalse) local keyvalue = (C(sometext) * spaces * P("=") * spaces * C(sometext))/iskey |