From 29257d0c82584766b9375d0bab9c1088c9dbe0df Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Thu, 27 Oct 2022 00:03:35 +0200
Subject: [PATCH] doc: mention how to upgrade HEAD Homebrew packages.

---
 doc/building.dox | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/building.dox b/doc/building.dox
index 783177e4e..990bdc9c7 100644
--- a/doc/building.dox
+++ b/doc/building.dox
@@ -319,6 +319,10 @@ projects instead:
 @code{.sh}
 brew install --HEAD mosra/magnum/corrade
 brew install --HEAD mosra/magnum/magnum
+
+# If already installed, use the following to upgrade, in the same order
+brew upgrade --fetch-HEAD mosra/magnum/corrade
+brew upgrade --fetch-HEAD mosra/magnum/magnum
 @endcode
 
 When installing from the `*.rb` files you need to install the