From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-52010-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 10832 invoked by alias); 7 Nov 2007 04:20:27 -0000
Received: (qmail 10823 invoked by uid 22791); 7 Nov 2007 04:20:27 -0000
X-Spam-Check-By: sourceware.org
Received: from romy.inter.net.il (HELO romy.inter.net.il) (213.8.233.24)     by sourceware.org (qpsmtpd/0.31) with ESMTP; Wed, 07 Nov 2007 04:20:25 +0000
Received: from HOME-C4E4A596F7 (IGLD-80-230-150-100.inter.net.il [80.230.150.100]) 	by romy.inter.net.il (MOS 3.7.3-GA) 	with ESMTP id JIC19408 (AUTH halo1); 	Wed, 7 Nov 2007 06:19:59 +0200 (IST)
Date: Wed, 07 Nov 2007 04:20:00 -0000
Message-Id: <ud4umr8jn.fsf@gnu.org>
From: Eli Zaretskii <eliz@gnu.org>
To: Brooks Moses <brooks@codesourcery.com>
CC: gdb-patches@sourceware.org
In-reply-to: <47313519.7000508@codesourcery.com> (message from Brooks Moses on 	Tue, 06 Nov 2007 19:46:33 -0800)
Subject: Re: [patch] Document that GDB does not assume GNU make.
Reply-to: Eli Zaretskii <eliz@gnu.org>
References:  <47313519.7000508@codesourcery.com>
X-IsSubscribed: yes
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
X-SW-Source: 2007-11/txt/msg00106.txt.bz2

> Date: Tue, 06 Nov 2007 19:46:33 -0800
> From: Brooks Moses <brooks@codesourcery.com>
> 
> Tested with "make pdf".  Ok to commit?

Yes, but...

> +@item make

Please use &command{make} here.

> +The @value{GDBN} makefiles are compatible with any @sc{posix}-compliant
> +implementation of make.

@command{make} again.

Also, I'd rephrase this:

 Any @sc{posix}-compliant implementation of @command{make}.