From 7146d10b4625043d8e36dd91ff1574568158dc55 Mon Sep 17 00:00:00 2001
From: Stefan Kangas <stefankangas@gmail.com>
Date: Thu, 23 Jan 2025 22:37:03 +0100
Subject: [PATCH] ; README-IGC: Document macOS <12.

With thanks to Ship Mints <shipmints@gmail.com>.
---
 README-IGC | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README-IGC b/README-IGC
index e022f2e7a5c..a0c215c4972 100644
--- a/README-IGC
+++ b/README-IGC
@@ -46,7 +46,7 @@ See "Building MPS yourself" below.
 macOS with Homebrew
 -------------------
 
-Install 'libmps' from Homebrew with
+With macOS 13 or later, you can install 'libmps' from Homebrew with:
 
   brew install libmps
 
@@ -55,6 +55,8 @@ Then add something like this to your environment (e.g., to ~/.zprofile):
   export CFLAGS="$CFLAGS -I$(brew --prefix libmps)/include"
   export LDFLAGS="$LDFLAGS -L$(brew --prefix libmps)/lib"
 
+If you are using macOS 12 or earlier, see "Building MPS yourself" below.
+
 Note that --with-mps=debug won't work with the Homebrew recipe, see:
 https://lists.gnu.org/r/emacs-devel/2025-01/msg00886.html
 Alternatively, see "Building MPS yourself" below.