Updated .gitignore. For some reason it was ignoring .pdf files in doc/