diff options
author | Hans Hagen <pragma@wxs.nl> | 2011-02-11 18:18:00 +0100 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2011-02-11 18:18:00 +0100 |
commit | 6fcdac3d03eee51ce788e8a727f16ced7ad13d4c (patch) | |
tree | eceb5c3d4eca85fa421a5a2dfef0e285a4a43210 /tex/context/base/mlib-pps.lua | |
parent | f344a831f7da0d57427ebf38ef0861d1a3933ba1 (diff) | |
download | context-6fcdac3d03eee51ce788e8a727f16ced7ad13d4c.tar.gz |
beta 2011.02.11 18:18
Diffstat (limited to 'tex/context/base/mlib-pps.lua')
-rw-r--r-- | tex/context/base/mlib-pps.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tex/context/base/mlib-pps.lua b/tex/context/base/mlib-pps.lua index 3eb861342..947c19af4 100644 --- a/tex/context/base/mlib-pps.lua +++ b/tex/context/base/mlib-pps.lua @@ -644,7 +644,7 @@ local function force() forced = true end -local texmess = (dquote/ditto + (1 - etex))^0 +local texmess = (dquote/ditto + (1 - etex))^0 local function ignore(s) report_metapost("ignoring verbatim tex: %s",s) @@ -661,6 +661,10 @@ end -- currently a a one-liner produces less code +-- textext.*(".*") can have "'s but tricky parsing as we can have concatenated strings +-- so this is something for a boring plain or train trip and we might assume proper mp +-- input anyway + local parser = Cs(( (ttex + gtex)/register + (btex * spacing * Cs(texmess) * etex)/convert |