doc folder is now ignored by github.