[chore](macOS) Support macOS Ventura (13.0) (#13626)

We need the tool `makeinfo` to build third parties on macOS Ventura (13.0).
2022-10-26 08:15:21 +08:00
parent 6f18726f01
commit 458cb8f072
1 changed files with 1 additions and 0 deletions
--- a/env.sh
+++ b/env.sh
@ -48,6 +48,7 @@ CELLARS=(
    autoconf
    libtool
    pkg-config
+    texinfo
    coreutils
    gnu-getopt
    python