From 9bce5cfea7dc08da0441bd23aec29aa3f0abf55e 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:04:52 +0200
Subject: [PATCH] doc: mention how to upgrade HEAD Homebrew packages.

---
 doc/python/pages/building.rst | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/python/pages/building.rst b/doc/python/pages/building.rst
index 306619c..3a5acd0 100644
--- a/doc/python/pages/building.rst
+++ b/doc/python/pages/building.rst
@@ -93,6 +93,11 @@ projects instead:
     brew install --HEAD mosra/magnum/magnum
     brew install --HEAD mosra/magnum/magnum-bindings
 
+    # 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
+    brew upgrade --fetch-HEAD mosra/magnum/magnum-bindings
+
 When installing from the ``*.rb`` files you need to install the
 :dox:`Corrade <building-corrade-packages-brew>` and
 :dox:`Magnum <building-packages-brew>` Homebrew packages first. If you want to