From 9defd1ee421a319c9e19f4c5e47da534067b0aea Mon Sep 17 00:00:00 2001 From: Stefano Lattarini Date: Wed, 27 Jun 2012 13:05:00 +0200 Subject: [PATCH] [ng] missing: no need to suggest GNU make explicitly * lib/missing (give_advice): Here. In mainstream Automake, possible use of GNU make was suggested as a remedy against useless remake of '.info' files triggered by some buggy vendor make implementations. Signed-off-by: Stefano Lattarini --- lib/missing | 4 ---- 1 file changed, 4 deletions(-) diff --git a/lib/missing b/lib/missing index fec9b3d7a..cd1f739ab 100755 --- a/lib/missing +++ b/lib/missing @@ -185,10 +185,6 @@ give_advice () echo "any other file indirectly affecting the aspect of the manual." echo "You might want to install the Texinfo package:" echo "<$gnu_software_URL/texinfo/>" - echo "The spurious makeinfo call might also be the consequence of" - echo "using a buggy 'make' (AIX, DU, IRIX), in which case you might" - echo "want to install GNU make:" - echo "<$gnu_software_URL/make/>" ;; *) echo "You might have modified some files without having the proper" -- 2.47.2