docs for mine