Adding dep. to pdftoppm.

Author: Clément

.github/workflows/build_and_deploy.yaml

@@ -56,7 +56,7 @@ jobs:
         sudo apt-get update
         test -f pandoc-3.6.3-1-amd64.deb || wget https://github.com/jgm/pandoc/releases/download/3.6.3/pandoc-3.6.3-1-amd64.deb
         sudo dpkg -i pandoc-3.6.3-1-amd64.deb
-        sudo apt-get install -y texlive texlive-xetex texlive-latex-extra lmodern librsvg2-bin fonts-symbola pdf2svg
+        sudo apt-get install -y texlive texlive-xetex texlive-latex-extra lmodern librsvg2-bin fonts-symbola pdf2svg pdftoppm
         
         pip install --upgrade pip
         pip install Pygments pandoc-include

.github/workflows/build_and_deploy_no_fetch.yaml

@@ -52,7 +52,7 @@ jobs:
         sudo apt-get update
         test -f pandoc-3.6.3-1-amd64.deb || wget https://github.com/jgm/pandoc/releases/download/3.6.3/pandoc-3.6.3-1-amd64.deb
         sudo dpkg -i pandoc-3.6.3-1-amd64.deb
-        sudo apt-get install -y texlive texlive-xetex texlive-latex-extra lmodern librsvg2-bin fonts-symbola pdf2svg
+        sudo apt-get install -y texlive texlive-xetex texlive-latex-extra lmodern librsvg2-bin fonts-symbola pdf2svg pdftoppm
         pip install --upgrade pip
         pip install Pygments pandoc-include
     - name: Setup mermaid-filter

source/docs/about/dev_guide.md

@@ -217,6 +217,8 @@ The `{ width=80% }` attribute is optional.
 ##### Images generated by LaTeX
 
 Some images are generated by LaTeX: the `.tex` file is what is used to generate the `.pdf` file, and then pdf2svg converts the `.pdf` into a `.svg` file.
+pdftoppm furthermore convert the `.pdf` into a `.png`.
+<!-- TODO: update the following. -->
 The `.svg` files are used in the `.html`, `.odt` and `.docx` documents, while the `.pdf` is used in the `.pdf` documents.
 The resulting images are added to the repository so that there is no need to re-compile them every time, or to set-up LaTeX and latexmk on each system.