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.