diff options
author | Karl Berry <karl@freefriends.org> | 2021-07-08 20:40:01 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-07-08 20:40:01 +0000 |
commit | 978793de51ad5f130ee33fdef66fefda3e6ab451 (patch) | |
tree | 9ef1c6be3518e42626cbeae1e4fcfe92dcd6206d /Build | |
parent | 25a24631fbe10fe90cf1ad034188184b32363a27 (diff) |
xindex (8jul21)
git-svn-id: svn://tug.org/texlive/trunk@59875 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/texk/texlive/linked_scripts/xindex/xindex.lua | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua b/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua index 5a3ba4c4b00..fdcbfb21724 100755 --- a/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua +++ b/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua @@ -5,10 +5,12 @@ -- REQUIREMENTS: -- AUTHOR: Herbert Voß -- LICENSE: LPPL 1.3 +-- +-- $Id: xindex.lua 4 2021-07-07 07:25:04Z hvoss $ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.29 + local version = 0.30 xindex.version = version --xindex.self = "xindex" @@ -46,6 +48,7 @@ local args = require ('xindex-lapp') [[ -e,--escapechar (default ") -n,--noheadings -a,--no_casesensitive + -b,--no_labels -o,--output (default "") -l,--language (default en) -p,--prefix (default L) @@ -239,11 +242,17 @@ else writeLog(1,"Output with headings between different first letter\n",1) end +no_labels = args["no_labels"] +if no_headings then + writeLog(1,"Index without labels\n",1) +else + writeLog(1,"Index with labels\n",1) +end + writeLog(2,"Open outputfile "..filename,0) outFile = io.open(filename,"w+") writeLog(2,"... done\n",0) - writeLog(1,"Starting base file ... \n",2) BaseRunFile = kpse.find_file("xindex-base.lua") dofile(BaseRunFile) |