(TXT) Pkgfile
 (BIN) docbook-xml#4.1.2-1.pkg.tar.gz
 (TXT) docbook.patch
 (BIN) docbookx412.tgz