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 <heinrich.schuchardt@canonical.com>

diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile
index 2408788b2fad5d80e1aff0498e31249cd434dceb..c92eeb51fd5fe8d9317dbd132c4671ec89e85f89 100644 (file)
--- 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 \