From ad0ac02414a9b8ca68efd56aa55b8620d3d9adb6 Mon Sep 17 00:00:00 2001 From: Daniel Veillard Date: Tue, 1 Oct 2002 12:08:12 +0000 Subject: [PATCH] Improve cross reference rating, Daniel --- doc/search.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/search.php b/doc/search.php index 0fe51de7..d406998f 100644 --- a/doc/search.php +++ b/doc/search.php @@ -145,7 +145,7 @@ simply provide a set of keywords: $desc = mysql_result($result, $i, 4); if (array_key_exists($name, $results)) { list($r,$t,$m,$n, $d) = $results[$name]; - $results[$name] = array($r + $relevance, + $results[$name] = array($r + $relevance + 40, $t,$m,$n,$d); } else { $results[$name] = array($relevance,$type,