CircleCI: Install texinfo

.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