diff options
Diffstat (limited to 'tex/context/base/publ-ini.lua')
| -rw-r--r-- | tex/context/base/publ-ini.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tex/context/base/publ-ini.lua b/tex/context/base/publ-ini.lua index 7b36852a9..9ac534c63 100644 --- a/tex/context/base/publ-ini.lua +++ b/tex/context/base/publ-ini.lua @@ -523,6 +523,7 @@ local findallused do tags[#tags+1] = tag end elseif find then +-- print("case 1.1") tags = { } for i=1,#ordered do local entry = ordered[i] @@ -537,6 +538,7 @@ local findallused do reported[reference] = true end else +-- print("case 1.2") for i=1,#tags do local tag = tags[i] if valid[tag] then @@ -549,6 +551,7 @@ local findallused do end else if find then +-- print("case 2.1") tags = { } for i=1,#ordered do local entry = ordered[i] @@ -563,6 +566,7 @@ local findallused do reported[reference] = true end else +-- print("case 2.2") for i=1,#tags do local tag = tags[i] if valid[tag] then |