diff --git a/.circleci/config.yml b/.circleci/config.yml
index 6ee6c48b215d251169ef0bda1d18996016d4cdf8..a19dc2479464b70c62f30af5e2393b225d4b196a 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