make STYLESHEET_TYPE=xsl clean doesn't currently work properly; any objections to my committing the attached patch, which after a quick test seems to do the right thing ? Thanks, Ceri --