docextract_to_xml.py now output slightly more xml-like stuff.
docextract_to_xml.py now output slightly more xml-like stuff.

Distrotech/pygtk,amremam2004/pygtk,nzjrs/pygtk,nzjrs/pygtk,GNOME/pygtk,Distrotech/pygtk,GNOME/pygtk,amremam2004/pygtk,nzjrs/pygtk,GNOME/pygtk,amremam2004/pygtk,Distrotech/pygtk