improved the script to extracts comments from the gtk-doc DocBook output * doc/libxml2-api.xml doc/parsedecl.py: improved the script to extracts comments from the gtk-doc DocBook output (a bit convoluted but seems to work). Daniel