diff options
author | William M. Brack <wbrack@src.gnome.org> | 2003-09-01 04:58:15 +0000 |
---|---|---|
committer | William M. Brack <wbrack@src.gnome.org> | 2003-09-01 04:58:15 +0000 |
commit | 3f47950374151ce5ddd7f5a404d47409602c0db3 (patch) | |
tree | 9b13811e48447d486f30244fa9a2ea85dd0948a9 /doc/search.php | |
parent | 47a428d8190df244507b58922d21fcab9f328c80 (diff) | |
download | android_external_libxml2-3f47950374151ce5ddd7f5a404d47409602c0db3.tar.gz android_external_libxml2-3f47950374151ce5ddd7f5a404d47409602c0db3.tar.bz2 android_external_libxml2-3f47950374151ce5ddd7f5a404d47409602c0db3.zip |
new file added, giving some description of the documentation generation
* doc/README.docs, doc/Makefile.am: new file added,
giving some description of the documentation generation process
* doc/search.php: fixed problem with upper case on filenames
Diffstat (limited to 'doc/search.php')
-rw-r--r-- | doc/search.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/search.php b/doc/search.php index d321cb40..85f57614 100644 --- a/doc/search.php +++ b/doc/search.php @@ -258,8 +258,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); +// $url = "html/libxml-$m.html#$id"; + $url = "html/libxml-$module.html#$id"; $results[$name] = array($relevance,$type, $module, $desc, $name, $url); } |