tree e1dcbbd4d3cdac6f390eaaa97353921da3656e2b
parent 64fa06747df07b9636bf55c035e2edd9307c9894
author Davide Pesavento <davidepesa@gmail.com> 1674011290 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1674429621 -0500

Generate and publish a PDF version as well

Change-Id: I913a998b3a382ae87b1e90182127f4d201980a98