1
0
mirror of https://gitlab.gnome.org/GNOME/libxslt synced 2025-07-31 02:43:06 +03:00

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.
This commit is contained in:
William M. Brack
2004-05-26 02:50:53 +00:00
parent 9c0d16b2f5
commit ba59de1fb1
3 changed files with 26 additions and 12 deletions

View File

@ -1,3 +1,9 @@
Wed May 26 10:51:22 HKT 2004 William Brack <wbrack@mmm.com.hk>
* 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.
Mon May 24 12:46:10 HKT 2004 Igor Zlatkovic <igor@zlatkovic.com> Mon May 24 12:46:10 HKT 2004 Igor Zlatkovic <igor@zlatkovic.com>
* win32/makefile.msvc, win32/configure.js: included the cruntime * win32/makefile.msvc, win32/configure.js: included the cruntime

View File

@ -181,8 +181,9 @@ A:link, A:visited, A:active { text-decoration: underline }
$t,$m,$d,$w,$u); $t,$m,$d,$w,$u);
} else { } else {
$id = strtoupper($name); $id = strtoupper($name);
$m = strtolower($module); // $m = strtolower($module);
$url = "html/libxml-$m.html#$id"; $m = $module;
$url = "../html/libxml-$m.html#$id";
$results[$name] = array($relevance,$type, $results[$name] = array($relevance,$type,
$module, $desc, $name, $url); $module, $desc, $name, $url);
} }
@ -206,8 +207,9 @@ A:link, A:visited, A:active { text-decoration: underline }
$t,$m,$d,$w,$u); $t,$m,$d,$w,$u);
} else { } else {
$id = strtoupper($name); $id = strtoupper($name);
$m = strtolower($module); // $m = strtolower($module);
$url = "XSLT/html/libxslt-$m.html#$id"; $m = $module;
$url = "html/libxslt-$m.html#$id";
$results[$name] = array($relevance,$type, $results[$name] = array($relevance,$type,
$module, $desc, $name, $url); $module, $desc, $name, $url);
} }
@ -273,7 +275,8 @@ A:link, A:visited, A:active { text-decoration: underline }
$t,$m,$d,$w,$u); $t,$m,$d,$w,$u);
} else { } else {
$id = strtoupper($name); $id = strtoupper($name);
$m = strtolower($module); // $m = strtolower($module);
$m = $module;
$u = str_replace( $u = str_replace(
"http://mail.gnome.org/archives/xml/", "", $url); "http://mail.gnome.org/archives/xml/", "", $url);
$results[$url] = array($relevance,$type, $results[$url] = array($relevance,$type,
@ -299,7 +302,8 @@ A:link, A:visited, A:active { text-decoration: underline }
$t,$m,$d,$w,$u); $t,$m,$d,$w,$u);
} else { } else {
$id = strtoupper($name); $id = strtoupper($name);
$m = strtolower($module); // $m = strtolower($module);
$m = $module;
$u = str_replace( $u = str_replace(
"http://mail.gnome.org/archives/xslt/", "", $url); "http://mail.gnome.org/archives/xslt/", "", $url);
$results[$url] = array($relevance,$type, $results[$url] = array($relevance,$type,

View File

@ -171,8 +171,9 @@
$t,$m,$d,$w,$u); $t,$m,$d,$w,$u);
} else { } else {
$id = strtoupper($name); $id = strtoupper($name);
$m = strtolower($module); // $m = strtolower($module);
$url = "html/libxml-$m.html#$id"; $m = $module;
$url = "../html/libxml-$m.html#$id";
$results[$name] = array($relevance,$type, $results[$name] = array($relevance,$type,
$module, $desc, $name, $url); $module, $desc, $name, $url);
} }
@ -196,8 +197,9 @@
$t,$m,$d,$w,$u); $t,$m,$d,$w,$u);
} else { } else {
$id = strtoupper($name); $id = strtoupper($name);
$m = strtolower($module); // $m = strtolower($module);
$url = "XSLT/html/libxslt-$m.html#$id"; $m = $module;
$url = "html/libxslt-$m.html#$id";
$results[$name] = array($relevance,$type, $results[$name] = array($relevance,$type,
$module, $desc, $name, $url); $module, $desc, $name, $url);
} }
@ -263,7 +265,8 @@
$t,$m,$d,$w,$u); $t,$m,$d,$w,$u);
} else { } else {
$id = strtoupper($name); $id = strtoupper($name);
$m = strtolower($module); // $m = strtolower($module);
$m = $module;
$u = str_replace( $u = str_replace(
"http://mail.gnome.org/archives/xml/", "", $url); "http://mail.gnome.org/archives/xml/", "", $url);
$results[$url] = array($relevance,$type, $results[$url] = array($relevance,$type,
@ -289,7 +292,8 @@
$t,$m,$d,$w,$u); $t,$m,$d,$w,$u);
} else { } else {
$id = strtoupper($name); $id = strtoupper($name);
$m = strtolower($module); // $m = strtolower($module);
$m = $module;
$u = str_replace( $u = str_replace(
"http://mail.gnome.org/archives/xslt/", "", $url); "http://mail.gnome.org/archives/xslt/", "", $url);
$results[$url] = array($relevance,$type, $results[$url] = array($relevance,$type,