Tried to fix a bug, Daniel

diff --git a/doc/search.php b/doc/search.php
index f7d03f1..aabd543 100644 (file)
--- a/doc/search.php
+++ b/doc/search.php
@@ -311,7 +311,7 @@ A:link, A:visited, A:active { text-decoration: underline }
                            $id = mysql_result($result, $i, 2);
                            $module = mysql_result($result, $i, 3);
                            $desc = mysql_result($result, $i, 4);
-                           $url = "XSLT/$module";
+                           $url = "$module";
                            if ($id != "") {
                                $url = $url + "#$id";
                            }