diff options
author | Karl Berry <karl@freefriends.org> | 2024-09-22 20:21:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-09-22 20:21:15 +0000 |
commit | c4ff09c84f44d350af451f47d4222417a048ae3e (patch) | |
tree | 0a620033ef63747374b5f502f83175598e396ac2 /Build/source | |
parent | 49d50341ed17959b690e6ca02e6732735eaf02a6 (diff) |
xindex (22sep24)
git-svn-id: svn://tug.org/texlive/trunk@72347 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-rwxr-xr-x | Build/source/texk/texlive/linked_scripts/xindex/xindex.lua | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua b/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua index b07a551f8c6..fd510451cab 100755 --- a/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua +++ b/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua @@ -9,7 +9,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.60 + local version = 0.61 xindex.version = version --xindex.self = "xindex" @@ -331,18 +331,17 @@ else end - esc_char = args.escapechar esc_char2 = esc_char..esc_char writeLog(2,"Escapechar = "..esc_char.."\n",1) escape_chars = { -- by default " is the escape char - {esc_char2, '//escaped2//', esc_char }, - {esc_char..'@', '//escapedat//', '@' }, - {esc_char..'|', '//escapedvert//', '|' }, - {esc_char..'!', '//escapedexcl//', '!' }, - {'', '\\textbar', '|' }, - {'', '\\braceLeft', '{' }, - {'', '\\braceRight', '}' } + {esc_char2, '//escaped2//', esc_char }, + {esc_char..'@', '//escapedat//', '@' }, + {esc_char..'|', '//escapedvert//', '|' }, + {esc_char..'!', '//escapedexcl//', '!' }, + {'', '\\textbar', '|' }, + {'', '\\braceLeft', '{' }, + {'', '\\braceRight', '}' } } no_caseSensitive = args["no_casesensitive"] |