improving the search, Daniel
diff --git a/doc/search.php b/doc/search.php
index 0b96db9..7b332c2 100644
--- a/doc/search.php
+++ b/doc/search.php
@@ -394,7 +394,7 @@
$word = $list[0];
if (($scope == 'any') || ($scope == 'XML') ||
($scope == 'API') || ($scope == 'XMLAPI')) {
- list($result, $j) = queryWord("xml" + $word);
+ list($result, $j) = queryWord("xml$word");
if ($j > 0) {
for ($i = 0; $i < $j; $i++) {
$relevance = mysql_result($result, $i, 0);
@@ -419,8 +419,7 @@
}
if (($scope == 'any') || ($scope == 'XSLT') ||
($scope == 'API') || ($scope == 'XSLTAPI')) {
- list($result, $j) = queryWord("xslt" + $word);
- list($result, $j) = XSLTqueryWord($word);
+ list($result, $j) = XSLTqueryWord("xslt$word");
if ($j > 0) {
for ($i = 0; $i < $j; $i++) {
$relevance = mysql_result($result, $i, 0);