Docs

it probably does not make sense to keep a generated file in the repository