diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3075b6ce..454ff8f8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -103,11 +103,13 @@ jobs:
           MACOSX_DEPLOYMENT_TARGET: "10.9"
         working-directory: gmp-6.3
         run: |
-          autoreconf -i
+          brew install texinfo
+          autoreconf -i -f
           ./configure --help
           ./configure \
             --prefix=$(brew --prefix) \
             --enable-cxx
+          touch ./doc/version.texi
           make --jobs
           make install