.gitignore Do not upload finished pdf, we do not want to update it all the time.