updating .gitignore, doc/*, etc