removing more generated files from the repo. i think it is best if no generated files are in the repo, it only makes it complicated to pull new changesets if one has built the documentation locally