From 9d7235dea7670a059cb4e653f6f9fee63560277f Mon Sep 17 00:00:00 2001 From: Dan Winship Date: Wed, 20 Nov 2013 09:31:20 -0500 Subject: [PATCH] building: belated docs update: GNU make is required, not recommended https://bugzilla.gnome.org/show_bug.cgi?id=710519 --- INSTALL.in | 2 +- docs/reference/glib/building.xml | 14 +++++++------- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/INSTALL.in b/INSTALL.in index 27a7c1a1f..8cc3ae819 100644 --- a/INSTALL.in +++ b/INSTALL.in @@ -21,7 +21,7 @@ information.) Information about pkg-config can be found at: http://www.freedesktop.org/software/pkgconfig/ -GNU make (http://www.gnu.org/software/make) is also recommended. +GNU make (http://www.gnu.org/software/make) is also required. In order to implement conversions between character sets, GLib requires an implementation of the standard iconv() routine. diff --git a/docs/reference/glib/building.xml b/docs/reference/glib/building.xml index ecb945871..079db8dc7 100644 --- a/docs/reference/glib/building.xml +++ b/docs/reference/glib/building.xml @@ -75,13 +75,13 @@ - The GTK+ makefiles will mostly work with different versions - of make, however, there tends to be - a few incompatibilities, so the GTK+ team recommends - installing GNU - make if you don't already have it on your system - and using it. (It may be called gmake - rather than make.) + The GLib Makefiles make use of several features specific to + GNU + make, and will not build correctly with other + versions of make. You will need to + install it if you don't already have it on your system. (It + may be called gmake rather than + make.)