[texdoc-commits] [SCM] texdoc updated: r15 - trunk/script

[karl at gnu.org.ua]

Author: karl
Date: 2017-10-27 01:22:17 +0300 (Fri, 27 Oct 2017)
New Revision: 15

Modified:
   trunk/script/search.tlu
Log:
(get_doclist): do get_doclist_texdocs search last,
so its (highest priority) tree code is what
counts. From Reuben Thomas, https://puszcza.gnu.org.ua/bugs/?369.


Modified: trunk/script/search.tlu
===================================================================
--- trunk/script/search.tlu	2017-05-19 21:22:31 UTC (rev 14)
+++ trunk/script/search.tlu	2017-10-26 22:22:17 UTC (rev 15)
@@ -611,10 +611,12 @@
     local normal, sty = normal_vs_sty(get_patterns(pattern, no_alias))
     -- initialise result list
     s_doclist = Doclist:new()
-    -- get results
+    -- get results; _texdocs search comes after _tlpdb search so that
+    -- files found by both will have the priority of the _texdocs tree.
+    -- (https://puszcza.gnu.org.ua/bugs/?369)
     get_doclist_sty(sty)
+    get_doclist_tlpdb(pattern)
     get_doclist_texdocs(normal)
-    get_doclist_tlpdb(pattern)
     -- finally, sort results
     sort_doclist(s_doclist, pattern)
     return s_doclist