diff options
author | Karl Berry <karl@freefriends.org> | 2023-07-12 20:10:27 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2023-07-12 20:10:27 +0000 |
commit | d20f9677d689f13b39eb57a646df66b0007c8d19 (patch) | |
tree | 241fcc0b297aa144dad8636a2959d85bfe829e49 /Build/source | |
parent | a7d3f79e117748f61a6518141c2da1335178ba21 (diff) |
xindex (12jul23)
git-svn-id: svn://tug.org/texlive/trunk@67614 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-rwxr-xr-x | Build/source/texk/texlive/linked_scripts/xindex/xindex.lua | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua b/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua index ba351877637..dc539e193c5 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.49 + local version = 0.51 xindex.version = version --xindex.self = "xindex" @@ -45,6 +45,7 @@ local args = require ('xindex-lapp') [[ -v... Verbosity level; can be -v, -vv, -vvv -c,--config (default cfg) -e,--escapechar (default ") + -f,--fix_hyperref -n,--noheadings -a,--no_casesensitive -b,--no_labels @@ -112,7 +113,6 @@ if not useStdInput and not args.files_name then os.exit() end - if not useStdInput then if vlevel == 3 then print(tostring(nInFiles).." input file(s): ") @@ -168,8 +168,6 @@ else end end - - logFile = io.open(logfilename,"w+") require('xindex-lib') @@ -224,13 +222,13 @@ writeLog(2," ... done\n",0) alphabet_lower_map = CreateCharListMap(alphabet_lower) alphabet_upper_map = CreateCharListMap(alphabet_upper) -local esc_char = args.escapechar +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..'!', '//escapedexcl//', '!' } + {esc_char..'!', '//escapedexcl//', '!' } -- {esc_char..'%(', '//escapedparenleft//', '(' }, -- ( must beescaped -- {esc_char..'%)', '//escapedparenright//',')' } -- ) " " } @@ -365,6 +363,11 @@ if not show_pagenumber then writeLog(1,"Output with NO pagenumbers!\n",1) end +fix_hyperref = args["fix_hyperref"] +if fix_hyperref then + writeLog(1,'fix hyperref with "|hyperpage -> \\textbar|hyperpage!\n',1) +end + writeLog(2,"Open outputfile "..outfilename,0) outFile = io.open(outfilename,"w+") writeLog(2,"... done\n",0) |