docbook-xml42とdocbook-xslをインストール。/usr/shareにDTDとXSLスタイルシートがインストールされる。 libxmlはたぶんはじめから入っているでしょう。.bash_profileに export SGML_CATALOG_FILES=/usr/share/docbook-xml42/catalog.xml export XML_CATALO…