diff options
| author | William M. Brack <wbrack@src.gnome.org> | 2004-05-26 02:50:53 +0000 |
|---|---|---|
| committer | William M. Brack <wbrack@src.gnome.org> | 2004-05-26 02:50:53 +0000 |
| commit | ba59de1fb180f3f5e6b49257113268e26a9f5909 (patch) | |
| tree | d7142da1a192b8d0a760559961214806bd3fb958 /doc/search.php | |
| parent | 9c0d16b2f5ec87db25bdff5567e8a962241c4274 (diff) | |
| download | libxslt-ba59de1fb180f3f5e6b49257113268e26a9f5909.tar.gz libxslt-ba59de1fb180f3f5e6b49257113268e26a9f5909.tar.bz2 libxslt-ba59de1fb180f3f5e6b49257113268e26a9f5909.zip | |
enhanced to remove forcing module names to lower case, and to fix problem
* doc/search.php.inc, doc/search/php: enhanced to remove
forcing module names to lower case, and to fix problem
with links between pages in libxml2 directory.
Diffstat (limited to 'doc/search.php')
| -rw-r--r-- | doc/search.php | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/doc/search.php b/doc/search.php index cd84f5c9..68cd274d 100644 --- a/doc/search.php +++ b/doc/search.php @@ -181,8 +181,9 @@ A:link, A:visited, A:active { text-decoration: underline } $t,$m,$d,$w,$u); } else { $id = strtoupper($name); - $m = strtolower($module); - $url = "html/libxml-$m.html#$id"; +// $m = strtolower($module); + $m = $module; + $url = "../html/libxml-$m.html#$id"; $results[$name] = array($relevance,$type, $module, $desc, $name, $url); } @@ -206,8 +207,9 @@ A:link, A:visited, A:active { text-decoration: underline } $t,$m,$d,$w,$u); } else { $id = strtoupper($name); - $m = strtolower($module); - $url = "XSLT/html/libxslt-$m.html#$id"; +// $m = strtolower($module); + $m = $module; + $url = "html/libxslt-$m.html#$id"; $results[$name] = array($relevance,$type, $module, $desc, $name, $url); } @@ -273,7 +275,8 @@ A:link, A:visited, A:active { text-decoration: underline } $t,$m,$d,$w,$u); } else { $id = strtoupper($name); - $m = strtolower($module); +// $m = strtolower($module); + $m = $module; $u = str_replace( "http://mail.gnome.org/archives/xml/", "", $url); $results[$url] = array($relevance,$type, @@ -299,7 +302,8 @@ A:link, A:visited, A:active { text-decoration: underline } $t,$m,$d,$w,$u); } else { $id = strtoupper($name); - $m = strtolower($module); +// $m = strtolower($module); + $m = $module; $u = str_replace( "http://mail.gnome.org/archives/xslt/", "", $url); $results[$url] = array($relevance,$type, |