`make pdf` now works
Merge pull request #736 from andralex/late

`make pdf` now works