$PREFIX/share/xml/dtd will be removed if it is empty. Reported by: kris
of XHTML and the modular DTDs on which it depends.