Suggest use of macOS command line developer tools rather than Xcode.

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index ce4f83812f072da2ab6e89e548cf8733acfdb7a8..d42036ba3b2cf293da607ba4bac12cbe773597b5 100644 (file)
--- a/doc/user-manual/user.texinfo
+++ b/doc/user-manual/user.texinfo
@@ -175,7 +175,7 @@ Debian-like systems: @code{gcc} @code{make} @code{libncurses-dev}
 @item
 CentOS-like systems: @code{gcc} @code{make} @code{ncurses-devel}
 @item
-macOS systems: @code{Xcode}
+macOS systems: Command line developer tools @samp{xcode-select --install}
 @end itemize
 
 Additionally, if you want support for X11 graphics, you'll need: