Résumé
To build the PDF versions, simply make. Before that, the profile picture
should be in this directory under the path profile-circle.png, since it is
not checked out for privacy.
To build the PDF versions, simply make. Before that, the profile picture
should be in this directory under the path profile-circle.png, since it is
not checked out for privacy.