This PR adds a step to the publish workflow to build the handout sheet before running Jekyll etc., which will make the PDF file available on GitHub Pages. I've added a link to it in the intro.
NB: We don't need to install any other packages or anything because make handouts only requires Docker, which will be installed on the runner anyway.
This PR adds a step to the publish workflow to build the handout sheet before running Jekyll etc., which will make the PDF file available on GitHub Pages. I've added a link to it in the intro.
NB: We don't need to install any other packages or anything because
make handouts
only requires Docker, which will be installed on the runner anyway.Closes #70.