Resolved! Wiki documentation as PDF?
I have just bought an STM32MP157C-DK2 and would like to get started. I found a tool within the wiki which allowed me to select a bunch of the "getting started" sections and create a PDF. However. all the pages of the PDF just said I didn't not have p...