diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-20 03:00:40 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-20 03:00:40 +0000 |
commit | 4b0f677aea00124171602de9498d50ac10d71eb3 (patch) | |
tree | 495035d1f1760c35dc2cefddbc9c73b08510bc11 /indexing/xindex/scripts | |
parent | 344e74a832ad49360aa4e08c467ff783c1f02f66 (diff) |
CTAN sync 201909200300
Diffstat (limited to 'indexing/xindex/scripts')
-rwxr-xr-x | indexing/xindex/scripts/xindex.lua | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/indexing/xindex/scripts/xindex.lua b/indexing/xindex/scripts/xindex.lua index 74f4edaa21..ee891e052f 100755 --- a/indexing/xindex/scripts/xindex.lua +++ b/indexing/xindex/scripts/xindex.lua @@ -8,7 +8,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.13 + local version = 0.14 xindex.version = version --xindex.self = "xindex" @@ -159,10 +159,12 @@ writeLog(2," ... done\n",0) local esc_char = args.escapechar writeLog(2,"Escapechar = "..esc_char.."\n",1) escape_chars = { -- by default " is the escape char - {esc_char..'"', '//escapedquote//', '\\"{}' }, - {esc_char..'@', '//escapedat//', '@' }, - {esc_char..'|', '//escapedvert//', "|" }, - {esc_char..'!', '//scapedexcl//', '!' } + {esc_char..'"', '//escapedquote//', '\\"{}' }, + {esc_char..'@', '//escapedat//', '@' }, + {esc_char..'|', '//escapedvert//', '|' }, + {esc_char..'!', '//scapedexcl//', '!' }, + {esc_char..'(', '//escapedparenleft//', '(' }, + {esc_char..')', '//escapedparenright//',')' } } language = string.lower(args["language"]) |