remove old and outdated docbook stuff