diff options
| author | Karl Berry <karl@freefriends.org> | 2019-04-07 21:21:59 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-04-07 21:21:59 +0000 |
| commit | bb3a18a8791a2f32a6c8a3e0c9ee15a643aefd89 (patch) | |
| tree | 22208b922e1222cddf4275d663628c025848b67d /Master/texmf-dist/scripts/xindex | |
| parent | d71a23f77ba5aa8ad94858efe8080b2cc100bb25 (diff) | |
xindex (7apr19)
git-svn-id: svn://tug.org/texlive/trunk@50842 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/xindex')
| -rwxr-xr-x | Master/texmf-dist/scripts/xindex/xindex.lua | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/xindex/xindex.lua b/Master/texmf-dist/scripts/xindex/xindex.lua index 77804a94dad..633dc753bd4 100755 --- a/Master/texmf-dist/scripts/xindex/xindex.lua +++ b/Master/texmf-dist/scripts/xindex/xindex.lua @@ -8,7 +8,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.09 + local version = 0.10 xindex.version = version --xindex.self = "xindex" @@ -43,9 +43,10 @@ local args = require ('xindex-lapp') [[ -c,--config (default cfg) -e,--escapechar (default ") -n,--noheadings + -a,--no_casesensitive -o,--output (default "") -l,--language (default en) - -p,--prefix (default "") + -p,--prefix (default L) <input> (string) ]] @@ -171,6 +172,13 @@ if vlevel > 0 then for i=1,#index_header do writeLog(2,index_header[i].."\n",1) page_folium = folium[language] +no_caseSensitive = args["no_casesensitive"] +if no_caseSensitive then + writeLog(1,"Sorting will be no case sensitive\n",1) +else + writeLog(1,"Sorting will be case sensitive\n",1) +end + no_headings = args["noheadings"] if no_headings then writeLog(1,"Output with NO headings between different first letter\n",1) |