From bd8f4d00a5ba1af56451821cd1db1c12c22f5419 Mon Sep 17 00:00:00 2001 From: Hans Hagen Date: Sun, 10 Jun 2018 16:38:16 +0200 Subject: 2018-06-10 15:49:00 --- scripts/context/lua/mtx-package.lua | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) (limited to 'scripts') diff --git a/scripts/context/lua/mtx-package.lua b/scripts/context/lua/mtx-package.lua index 23da30bf2..c4487faec 100644 --- a/scripts/context/lua/mtx-package.lua +++ b/scripts/context/lua/mtx-package.lua @@ -69,8 +69,19 @@ function scripts.package.merge_luatex_files(name) end end end - report("saving %q",newname) - io.savedata(newname,table.concat(collected)) + collected = table.concat(collected) + if environment.argument("stripcontext") then + local n = 0 + collected = string.gsub(collected,"\nif context then.-\nend",function(s) + n = n + #s + return "" + end) + if n > 0 then + report("%i context specific bytes stripped",n) + end + end + report("saving %q (%i bytes)",newname,#collected) + io.savedata(newname,collected) end end end -- cgit v1.2.3