diff options
author | Norbert Preining <norbert@preining.info> | 2020-05-31 03:01:06 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-05-31 03:01:06 +0000 |
commit | dc6f1342c9b1e7c060d0409dfe0e64ff691003b6 (patch) | |
tree | f1954359c4e36d4bb66d06f296d9a8f3283b70bd /indexing/xindex/scripts | |
parent | 58ef6a84ad11cea92cd3d886b5a95810cc4ea88c (diff) |
CTAN sync 202005310301
Diffstat (limited to 'indexing/xindex/scripts')
-rwxr-xr-x | indexing/xindex/scripts/xindex.lua | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/indexing/xindex/scripts/xindex.lua b/indexing/xindex/scripts/xindex.lua index 1c126985d6..d4316b2949 100755 --- a/indexing/xindex/scripts/xindex.lua +++ b/indexing/xindex/scripts/xindex.lua @@ -8,7 +8,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.21 + local version = 0.22 xindex.version = version --xindex.self = "xindex" @@ -174,12 +174,20 @@ escape_chars = { -- by default " is the escape char {esc_char..')', '//escapedparenright//',')' } } -language = string.lower(args["language"]) +language = string.lower(args["language"]):sub(1, 2) writeLog(2,"Language = "..language.."\n",1) +if (indexheader[language] == nil) then + writeLog(2,'Corrected the unknown language "'..language..'" to "en"'.."\n",0) + language = "en" +end index_header = indexheader[language] if vlevel > 0 then for i=1,#index_header do writeLog(2,index_header[i].."\n",1) end end -page_folium = folium[language] - +if (folium[language] == nil) then + writeLog(2,'Corrected the unknown language "'..language..'" for page folium to "en"'.."\n",0) + page_folium = folium["en"] +else + page_folium = folium[language] +end no_caseSensitive = args["no_casesensitive"] if no_caseSensitive then |