diff options
| author | Marius <mariausol@gmail.com> | 2011-01-14 15:40:11 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2011-01-14 15:40:11 +0200 |
| commit | 319416b1674e4eb60fd3459a86679df200abce2c (patch) | |
| tree | b68e7aecf131acaf7c3136a28714b49a96fefae7 /scripts/context/stubs/mswin | |
| parent | 79211c53e598b6666ae7a4e41849f1d761439917 (diff) | |
| download | context-319416b1674e4eb60fd3459a86679df200abce2c.tar.gz | |
beta 2011.01.14 14:32
Diffstat (limited to 'scripts/context/stubs/mswin')
| -rw-r--r-- | scripts/context/stubs/mswin/mtxrun.lua | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/scripts/context/stubs/mswin/mtxrun.lua b/scripts/context/stubs/mswin/mtxrun.lua index d264c05ab..75a527188 100644 --- a/scripts/context/stubs/mswin/mtxrun.lua +++ b/scripts/context/stubs/mswin/mtxrun.lua @@ -207,9 +207,6 @@ local squote = P("'") local dquote = P('"') local space = P(" ") -patterns.somecontent = (anything - newline - space)^1 -patterns.beginline = #(1-newline) - local utfbom_32_be = P('\000\000\254\255') local utfbom_32_le = P('\255\254\000\000') local utfbom_16_be = P('\255\254') @@ -282,6 +279,9 @@ patterns.undouble = (dquote/"") * patterns.nodquote * (dquote/"") patterns.unquoted = patterns.undouble + patterns.unsingle -- more often undouble patterns.unspacer = ((patterns.spacer^1)/"")^0 +patterns.somecontent = (anything - newline - space)^1 -- (utf8char - newline - space)^1 +patterns.beginline = #(1-newline) + local unquoted = Cs(patterns.unquoted * endofstring) -- not C function string.unquoted(str) @@ -13754,7 +13754,7 @@ runners.registered = { makempy = { 'makempy.pl', true }, mptopdf = { 'mptopdf.pl', true }, pstopdf = { 'pstopdf.rb', true }, -- converts ps (and some more) images, does some cleaning (replaced) --- examplex = { 'examplex.rb', false }, + -- examplex = { 'examplex.rb', false }, concheck = { 'concheck.rb', false }, runtools = { 'runtools.rb', true }, textools = { 'textools.rb', true }, @@ -13763,9 +13763,9 @@ runners.registered = { rlxtools = { 'rlxtools.rb', true }, pdftools = { 'pdftools.rb', true }, mpstools = { 'mpstools.rb', true }, --- exatools = { 'exatools.rb', true }, + -- exatools = { 'exatools.rb', true }, xmltools = { 'xmltools.rb', true }, --- luatools = { 'luatools.lua', true }, + -- luatools = { 'luatools.lua', true }, mtxtools = { 'mtxtools.rb', true }, pdftrimwhite = { 'pdftrimwhite.pl', false } } |