update various .gitignore
fix manual generation