* libxml.spec.in doc/devhelp/*: finished the integration with
  devhelp, completing the index and inserted into the gtk-doc
  database at "make install" stage
Daniel