From 16f58d81a662a24f09040ac4d676a644e5f7bf64 Mon Sep 17 00:00:00 2001
From: Helmut Eller <eller.helmut@gmail.com>
Date: Thu, 25 Sep 2025 08:17:58 +0200
Subject: [PATCH] * mps/configure.ac: Remove message about alternative build
 systems

---
 mps/configure.ac | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/mps/configure.ac b/mps/configure.ac
index c52af5b2bec..3cd70160f3c 100644
--- a/mps/configure.ac
+++ b/mps/configure.ac
@@ -226,10 +226,6 @@ AC_CONFIG_COMMANDS(
 
 AC_OUTPUT
 
-echo 1>&2 "CONFIGURE/MAKE IS NOT THE BEST WAY TO BUILD THE MPS
--- see <manual/build.txt> for alternative approaches"
-
-
 # C. COPYRIGHT AND LICENSE
 #
 # Copyright (C) 2001-2020 Ravenbrook Limited <https://www.ravenbrook.com/>.