summaryrefslogtreecommitdiff
path: root/scripts/context/lua/mtxrun.lua
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/context/lua/mtxrun.lua')
-rw-r--r--scripts/context/lua/mtxrun.lua5
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/context/lua/mtxrun.lua b/scripts/context/lua/mtxrun.lua
index c5232a6d3..b8c1cc587 100644
--- a/scripts/context/lua/mtxrun.lua
+++ b/scripts/context/lua/mtxrun.lua
@@ -10637,6 +10637,11 @@ end
-- return resolvers.cleanpath(str)
-- end
+local cleanup = lpeg.replacer {
+ { "!" , "" },
+ { "\\" , "/" },
+}
+
function resolvers.cleanpath(str) -- tricky, maybe only simple paths
local doslashes = (P("\\")/"/" + 1)^0
local donegation = (P("!") /"" )^0