improvement of the stylesheets, fixed a API generation problem, switched

* doc/Makefile.am doc/apibuild.py doc/libxml2-api.xml doc/newapi.xsl:
  improvement of the stylesheets, fixed a API generation problem,
  switched the stylesheet and Makefile to build the HTML output.
* doc/html/*.html: complete update, ditched some old files, might
  introduce some breakage...
Daniel

doc/apibuild.py

@@ -49,6 +49,12 @@ def escape(raw):
     raw = string.replace(raw, '"', '"')
     return raw
 
+def uniq(items):
+    d = {}
+    for item in items:
+        d[item]=1
+    return d.keys()
+
 class identifier:
      def __init__(self, name, module=None, type=None, lineno = 0,
                   info=None, extra=None):
@@ -1497,7 +1503,7 @@ class docBuilder:
 	       dict.macros.keys() + dict.typedefs.keys() + \
 	       dict.structs.keys() + dict.enums.keys()
 	 ids.sort()
-	 for id in ids:
+	 for id in uniq(ids):
 	     output.write("     <exports symbol='%s'/>\n" % (id))
 	 output.write("    </file>\n")