Hi, If nobody minds, I'd like to drop the useless docbook tools : src/documentation/docbook-dtd/ src/documentation/docbook-xsl/ src/documentation/haiku_book/ src/documentation/shell_tools/ src/documentation/license.xml src/tools/docbook/ Bye, Jérôme