# To build the PDFs, you will need these Debian packages:
# texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
# To build the PDFs, you will need these Debian packages:
# texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended