Re: Removing files in $(docdemodir)