Merge remote-tracking branch 'origin/master' into android-ci

Author: mhsmith

.github/workflows/build-release.yml

@@ -138,14 +138,19 @@ jobs:
 
       - name: "Install docs dependencies"
         run: |
-          python -m pip install \
-            -r Doc/requirements.txt
-
+          python -m pip install -r Doc/requirements.txt
           sudo apt-get update
           sudo apt-get install --yes --no-install-recommends \
-            latexmk texlive-xetex xindy texinfo texlive-latex-base \
-            texlive-fonts-recommended texlive-fonts-extra \
-            texlive-full
+            fonts-freefont-otf \
+            latexmk \
+            texinfo \
+            texlive-fonts-extra \
+            texlive-fonts-recommended \
+            texlive-latex-base \
+            texlive-latex-extra \
+            texlive-latex-recommended \
+            texlive-xetex \
+            xindy
 
       - name: "Build docs"
         run: |