mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 10:11:27 +01:00
Use a default document class for documentation -- less confusing to latex2html.
Use a default document class for documentation -- less confusing to latex2html.