diff options
| author | Marius <mariausol@gmail.com> | 2012-06-12 11:20:13 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2012-06-12 11:20:13 +0300 |
| commit | c064009980372b0f3113ed4133b9ed0e8418861c (patch) | |
| tree | 028814dc7d4bf71927a8cce9b1c688da25031968 /tex/context/base/util-mrg.lua | |
| parent | ddf4906882f4bea473964e5b0d209cc3a33bddef (diff) | |
| download | context-c064009980372b0f3113ed4133b9ed0e8418861c.tar.gz | |
beta 2012.06.12 09:56
Diffstat (limited to 'tex/context/base/util-mrg.lua')
| -rw-r--r-- | tex/context/base/util-mrg.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tex/context/base/util-mrg.lua b/tex/context/base/util-mrg.lua index acf04fead..c924d30af 100644 --- a/tex/context/base/util-mrg.lua +++ b/tex/context/base/util-mrg.lua @@ -63,9 +63,11 @@ end local function self_save(name, data) if data ~= "" then if merger.strip_comment then - -- saves some 20K local n = #data + -- saves some 20K .. scite comments data = gsub(data,"%-%-~[^\n\r]*[\r\n]","") + -- saves some 20K .. ldx comments + data = gsub(data,"%-%-%[%[ldx%-%-.-%-%-ldx%]%]%-%-","") utilities.report("merge: %s bytes of comment stripped, %s bytes of code left",n-#data,#data) end io.savedata(name,data) |