From 77dbd61098cfc43685d6789a0ed2b85f44fa2ee0 Mon Sep 17 00:00:00 2001
From: Willem Melching <willem.melching@gmail.com>
Date: Tue, 4 Jan 2022 16:17:55 +0100
Subject: [PATCH] built in docker

---
 tools/mac_setup.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/mac_setup.sh b/tools/mac_setup.sh
index 14037fb26d..71ffe4a92a 100755
--- a/tools/mac_setup.sh
+++ b/tools/mac_setup.sh
@@ -29,7 +29,6 @@ brew "openssl"
 brew "pyenv"
 brew "qt@5"
 brew "zeromq"
-brew "doxygen"
 cask "gcc-arm-embedded"
 EOS