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
diff --git a/ChangeLog b/ChangeLog
index e78f8b3..82109f1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+Sun Aug 31 21:52:12 PDT 2003 William Brack <wbrack@mmm.com.hk>
+
+	* 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
+
 Fri Aug 29 12:25:01 CEST 2003 Igor Zlatkovic <igor@zlatkovic.com>
 
 	* win32/Makefile.bcb: updates by Eric Zurcher
diff --git a/doc/Makefile.am b/doc/Makefile.am
index b51354c..3b5ec2f 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -25,7 +25,8 @@
            tutorial/images/*.png tutorial/images/callouts/*.png \
 	   API*.html *.1 *.xsl *.html *.gif w3c.png html/*.html \
 	   html/*.png libxml2-api.xml parsedecl.py index.py search.php \
-	   apibuild.py libxml2.xsa xmllint.xml xmlcatalog_man.xml
+	   apibuild.py libxml2.xsa xmllint.xml xmlcatalog_man.xml \
+	   README.docs
 
 
 man_MANS = xmllint.1 xmlcatalog.1
diff --git a/doc/README.docs b/doc/README.docs
new file mode 100644
index 0000000..279b375
--- /dev/null
+++ b/doc/README.docs
@@ -0,0 +1,24 @@
+
+                  XML toolkit from the GNOME project
+
+Full documentation is available on-line at
+    http://xmlsoft.org/
+
+This code is released under the MIT Licence see the Copyright file.
+
+To report bugs, follow the instructions at: 
+  http://xmlsoft.org/bugs.html
+
+A mailing-list xml@gnome.org is available, to subscribe:
+    http://mail.gnome.org/mailman/listinfo/xml
+
+The list archive is at:
+    http://mail.gnome.org/archives/xml/
+
+All technical answers asked privately will be automatically answered on
+the list and archived for public access unless pricacy is explicitely
+required and justified.
+
+Daniel Veillard
+
+$Id$
diff --git a/doc/search.php b/doc/search.php
index d321cb4..85f5761 100644
--- a/doc/search.php
+++ b/doc/search.php
@@ -258,8 +258,9 @@
 							$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);
 			    }