From 656c744080d308f75cc9707b139e2a3ec31ad5b7 Mon Sep 17 00:00:00 2001 From: "Ondrej Zajicek (work)" Date: Sun, 25 Apr 2021 03:37:54 +0200 Subject: CI: Update docker images for building of documentation --- misc/docker/debian-9-i386/Dockerfile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'misc/docker/debian-9-i386/Dockerfile') diff --git a/misc/docker/debian-9-i386/Dockerfile b/misc/docker/debian-9-i386/Dockerfile index 6a913f70..52effbbf 100644 --- a/misc/docker/debian-9-i386/Dockerfile +++ b/misc/docker/debian-9-i386/Dockerfile @@ -11,6 +11,8 @@ RUN apt-get -y --no-install-recommends install \ ncurses-dev \ libreadline-dev \ libssh-gcrypt-dev \ + linuxdoc-tools-latex \ + texlive-latex-extra \ opensp \ docbook-xsl \ xsltproc -- cgit v1.2.3