From 11a59de25d49f999eed0ea55df29d916a66ecd91 Mon Sep 17 00:00:00 2001
From: Joachim Breitner <mail@joachim-breitner.de>
Date: Mon, 2 Oct 2017 13:08:12 -0400
Subject: [PATCH] CircleCI: Install texinfo

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 6ee6c48b215..a19dc247946 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -10,7 +10,7 @@ jobs:
         name: git
         command: |
           apt-get update
-          apt-get install -y git openssh-client make automake autoconf gcc perl python3
+          apt-get install -y git openssh-client make automake autoconf gcc perl python3 texinfo
     - checkout
     - run:
         name: submodules
-- 
GitLab