summaryrefslogtreecommitdiff
path: root/indexing/xindex/scripts/xindex.lua
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-07-01 03:01:25 +0000
committerNorbert Preining <norbert@preining.info>2023-07-01 03:01:25 +0000
commit3a29216caca37803e25b84a50fd5f7f91ebc04d3 (patch)
tree45c329c33b2bc8601810e0983b3590448a3279ec /indexing/xindex/scripts/xindex.lua
parent711112a97f2a98854236304a216213632d61eeb7 (diff)
CTAN sync 202307010301
Diffstat (limited to 'indexing/xindex/scripts/xindex.lua')
-rwxr-xr-xindexing/xindex/scripts/xindex.lua8
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)