diff options
| author | Daniel Veillard <veillard@src.gnome.org> | 2002-10-01 12:08:12 +0000 |
|---|---|---|
| committer | Daniel Veillard <veillard@src.gnome.org> | 2002-10-01 12:08:12 +0000 |
| commit | ad0ac02414a9b8ca68efd56aa55b8620d3d9adb6 (patch) | |
| tree | 5e6ad773e49df93c5d388c672335e4b3a715bb5e /doc | |
| parent | 55a4eb539ccca780df2a2ff6420e4a76e29e2d77 (diff) | |
| download | android_external_libxml2-ad0ac02414a9b8ca68efd56aa55b8620d3d9adb6.tar.gz android_external_libxml2-ad0ac02414a9b8ca68efd56aa55b8620d3d9adb6.tar.bz2 android_external_libxml2-ad0ac02414a9b8ca68efd56aa55b8620d3d9adb6.zip | |
Improve cross reference rating, Daniel
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/search.php | 2 |
1 files changed, 1 insertions, 1 deletions
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, |