python:抓取网页内容html转换成xml?

RT:
抓取网页内容时如何将html转换成xml?
3Q.

---

找到这段代码：
#!/usr/bin/python
import sys from xml.dom
import core from xml.dom.html_builder
import HtmlBuilder
b = HtmlBuilder()
b.feed(sys.stdin.read())

doc = b.document
print doc.toxml()

不过系统里没有html_builder.py

---

正在学习这个，算是python的高级应用