From 458cb8f072643e27b50dd9c8aed70eea18afd224 Mon Sep 17 00:00:00 2001
From: Adonis Ling <adonis0147@gmail.com>
Date: Wed, 26 Oct 2022 08:15:21 +0800
Subject: [PATCH] [chore](macOS) Support macOS Ventura (13.0) (#13626)

We need the tool `makeinfo` to build third parties on macOS Ventura (13.0).
---
 env.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/env.sh b/env.sh
index 1ab486aa83..c952e82281 100755
--- a/env.sh
+++ b/env.sh
@@ -48,6 +48,7 @@ CELLARS=(
     autoconf
     libtool
     pkg-config
+    texinfo
     coreutils
     gnu-getopt
     python