No matches were found for subject:"Bug#1004614\: odpic\: fails to clean after successful build\: rm\: cannot remove '.\/debian\/doctrees'\: Is a directory"