das_j [1] filed a request to merge xen-docs [2] into xen [3]: Xen is acutally built with --without-docs, it would be easy to create a split package so the version is in sync
[1] https://aur.archlinux.org/account/das_j/ [2] https://aur.archlinux.org/pkgbase/xen-docs/ [3] https://aur.archlinux.org/pkgbase/xen/
