Minor tweak to .gitignore so src/doc is included.