fixed problem parsing xhtml docs small modification to avoid problem in
* doc/index.py: fixed problem parsing xhtml docs
* doc/xmlreader.html,doc/guidelines.html: small modification
to avoid problem in python parsing.
* doc/search.php: fixed upper case filename problem for XSLT docs
diff --git a/doc/search.php b/doc/search.php
index 85f5761..ed11884 100644
--- a/doc/search.php
+++ b/doc/search.php
@@ -258,8 +258,7 @@
$t,$m,$d,$w,$u);
} else {
$id = strtoupper($name);
-// $m = strtolower($module);
-// $url = "html/libxml-$m.html#$id";
+ $m = strtolower($module);
$url = "html/libxml-$module.html#$id";
$results[$name] = array($relevance,$type,
$module, $desc, $name, $url);
@@ -285,7 +284,7 @@
} else {
$id = strtoupper($name);
$m = strtolower($module);
- $url = "XSLT/html/libxslt-$m.html#$id";
+ $url = "XSLT/html/libxslt-$module.html#$id";
$results[$name] = array($relevance,$type,
$module, $desc, $name, $url);
}