Pushed documentation change from master, and added src/ and build/ to
.gitignore.