now with more docopts!
tell git to ignore *.pdf files