doc-clean: removes manref.xml