doc/docHTML is not cleaned


