Documentation in nightly source distribution.

[Walter Holladay]

There is a src/doc dir which contains the documentation in xml format. Is
there an easy way to generate html from these xml files?