diff options
author | Norbert Preining <norbert@preining.info> | 2023-07-01 03:01:25 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-07-01 03:01:25 +0000 |
commit | 3a29216caca37803e25b84a50fd5f7f91ebc04d3 (patch) | |
tree | 45c329c33b2bc8601810e0983b3590448a3279ec /indexing/xindex/scripts/xindex.lua | |
parent | 711112a97f2a98854236304a216213632d61eeb7 (diff) |
CTAN sync 202307010301
Diffstat (limited to 'indexing/xindex/scripts/xindex.lua')
-rwxr-xr-x | indexing/xindex/scripts/xindex.lua | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/indexing/xindex/scripts/xindex.lua b/indexing/xindex/scripts/xindex.lua index de8016cc1e..22e07116cd 100755 --- a/indexing/xindex/scripts/xindex.lua +++ b/indexing/xindex/scripts/xindex.lua @@ -10,7 +10,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.47 + local version = 0.48 xindex.version = version --xindex.self = "xindex" @@ -53,6 +53,7 @@ local args = require ('xindex-lapp') [[ -o,--output (default "") -k,--checklang -l,--language (default en) + -g,--no_pagenumber -p,--prefix (default L) -u,--use_UCA -s,--use_stdin @@ -360,6 +361,11 @@ else writeLog(1,"Index with labels\n",1) end +show_pagenumber = not args["no_pagenumber"] +if not show_pagenumber then + writeLog(1,"Output with NO pagenumbers!\n",1) +end + writeLog(2,"Open outputfile "..outfilename,0) outFile = io.open(outfilename,"w+") writeLog(2,"... done\n",0) |