-
Olivier authored
Auparavant, la couverture était apposée au document principal avec un script invoquant la suite pdftk. Commme ce programme n’est plus disponible sous Ubuntu 18.04, la méthode est modifiée : le pdf de la couverture est désormais inclus directement par pdflatex avec l’aide du paquet pdfpages. Avantage : la numérotation des pages est améliorée (gestion des chiffres romains pour l’introduction).
90617b41