From 5f7a507eb352de7b58124907a715d8bad3627051 Mon Sep 17 00:00:00 2001 From: Heinrich Schuchardt Date: Fri, 30 Dec 2022 05:41:01 +0100 Subject: [PATCH] Dockerfile: add package texinfo In preparation of adding the infodocs target to our CI install the prerequisite texinfo software package. Signed-off-by: Heinrich Schuchardt --- tools/docker/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 2408788b2f..c92eeb51fd 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -109,6 +109,7 @@ RUN apt-get update && apt-get install -y \ srecord \ sudo \ swig \ + texinfo \ util-linux \ uuid-dev \ virtualenv \