Weigh hits based on score when given in sitemap
authorMagnus Hagander <magnus@hagander.net>
Tue, 7 Feb 2012 11:02:59 +0000 (12:02 +0100)
committerMagnus Hagander <magnus@hagander.net>
Tue, 7 Feb 2012 11:02:59 +0000 (12:02 +0100)
commit1cf436ac4f35843a68e2730fa4eee6c23b8a0e76
tree6b42d9adc71aac87bda92e7664a77fc817375fe4
parent9c8cfba180c9aed34be209ce151c7bef435c5631
Weigh hits based on score when given in sitemap

In particular, this is used to prioritise hits in the documentation,
and in the current version of the documentation over older versions.
tools/search/sql/functions.sql