aarch64, arm-deb9: Install needed texlive packages

aarch64-linux-deb9/Dockerfile

@@ -11,7 +11,7 @@ RUN apt-get update \
     perl python3 texinfo xz-utils pxz lbzip2 bzip2 patch openssh-client sudo time \
     jq wget curl libnuma-dev \
     # Documentation tools
-    python3-sphinx texlive-xetex texlive-latex-extra \
+    python3-sphinx texlive-xetex texlive-latex-extra texlive-binaries texlive-fonts-recommended lmodern texlive-generic-extra \
     && apt-get clean \
     && rm -rf /var/lib/apt/lists/*
 

armv7-linux-deb9/Dockerfile

@@ -12,7 +12,7 @@ RUN apt-get update \
     perl python3 texinfo xz-utils pxz lbzip2 bzip2 patch openssh-client sudo time \
     jq wget curl \
     # Documentation tools
-    python3-sphinx texlive-xetex texlive-latex-extra \
+    python3-sphinx texlive-xetex texlive-latex-extra texlive-binaries texlive-fonts-recommended lmodern texlive-generic-extra \
     && apt-get clean \
     && rm -rf /var/lib/apt/lists/*