From 35ce04030c9983a112ee3ad685c439ac2c6600cf Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 14 Jan 2019 10:24:58 +0100
Subject: [PATCH] [doc] Fix homebrew installation
---
doc/macos-ci-install/install-homebrew.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/macos-ci-install/install-homebrew.sh b/doc/macos-ci-install/install-homebrew.sh
index 200abb3a..39ec897e 100755
--- a/doc/macos-ci-install/install-homebrew.sh
+++ b/doc/macos-ci-install/install-homebrew.sh
@@ -14,6 +14,6 @@ fi
ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" </dev/null
brew=/usr/local/bin/brew
-${brew} install curl git coreutils bash-completion highlight neovim tmux htop python3
+${brew} install curl git coreutils bash-completion highlight neovim tmux htop python@3
${brew} link --force curl #keg-only recipe
${brew} cask install mactex
--
GitLab