Add doc/*.pdf to gitignore
Merge branch 'master' of https://github.com/kn65op/RefSetImplementation