.gitignore: ignore docs/built created for in-tree builds