# Note: depends on unzip
# Note: depends on libxml2
wget -c http://docbook.org/xml/4.1.2/docbkx412.zip
mkdir -p docbook-xml-4.1.2
cd docbook-xml-4.1.2
unzip ../docbkx412.zip
mkdir -p /etc/xml
cp -r . /etc/xml/docbook-xml-4.1.2
[ -e /etc/xml/catalog ] || xmlcatalog --noout --create /etc/xml/catalog
xmlcatalog --noout --add "rewriteURI" "http://www.oasis-open.org/docbook/xml/4.1.2/" "file:///etc/xml/docbook-xml-4.1.2/" /etc/xml/catalog