From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mailman by lists.gnu.org with archive (Exim 4.43) id 1OM350-0003Wz-5i for mharc-grub-devel@gnu.org; Tue, 08 Jun 2010 13:59:14 -0400 Received: from [140.186.70.92] (port=48843 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1OM34x-0003Th-Sc for grub-devel@gnu.org; Tue, 08 Jun 2010 13:59:12 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1OM34w-0006qR-JJ for grub-devel@gnu.org; Tue, 08 Jun 2010 13:59:11 -0400 Received: from mail-ww0-f41.google.com ([74.125.82.41]:44357) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1OM34w-0006qF-Cy for grub-devel@gnu.org; Tue, 08 Jun 2010 13:59:10 -0400 Received: by wwb34 with SMTP id 34so141856wwb.0 for ; Tue, 08 Jun 2010 10:59:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:subject:references:in-reply-to :content-type:content-transfer-encoding; bh=UrPPe6qXo7NSFUCtIX0gFlxYq+/TED9s3hN3m7CJ3rg=; b=Xa7ThDdpIu3/7w5x+IzwGZbGFZRXkDmoJWy92KTC2rQ5SGnjC12dRIOciE+3ISyrOg UdPgyxA4keQ6aGpjy85BJqdEgO+/ggi7hzEYzVdl3f18jlZtTFsMC3La/0Jh3yE/0jIP +slE2tVvym3K9oO6Ej8dxS4A7XgnWRWa3wCzU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; b=iqLDu3tFBfdqEc9EWUFb9EeUeixMt2gYlinBwM8Fw14ypd+Nn7Yiqetw2OsNUTfGvT +X1t9BP8ThlObh8XzNDcl9F/KCjHzqsAQtb2J5iKg4oHcIB0k8sM0rCoMVXzdefjFjNf 2B09rqSO+xa2dKLuMMlYq6WPzwkZf8Qka2Omw= Received: by 10.227.138.149 with SMTP id a21mr5180093wbu.225.1276019940190; Tue, 08 Jun 2010 10:59:00 -0700 (PDT) Received: from [147.210.129.28] (laptop-147-210-129-28.labri.fr [147.210.129.28]) by mx.google.com with ESMTPS id u36sm48551924wbv.18.2010.06.08.10.58.58 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 08 Jun 2010 10:58:59 -0700 (PDT) Message-ID: <4C0E84E1.9040902@gmail.com> Date: Tue, 08 Jun 2010 19:58:57 +0200 From: =?ISO-8859-1?Q?Gr=E9goire_Sutre?= User-Agent: Mozilla/5.0 (X11; U; NetBSD i386; en-US; rv:1.9.1.9) Gecko/20100603 Shredder/3.0.4 MIME-Version: 1.0 To: The development of GNU GRUB References: <20100608174656.GU21862@riva.ucam.org> In-Reply-To: <20100608174656.GU21862@riva.ucam.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) Subject: Re: [PATCH] Improve man page headers X-BeenThere: grub-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: The development of GNU GRUB List-Id: The development of GNU GRUB List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 08 Jun 2010 17:59:13 -0000 On 06/08/2010 19:46, Colin Watson wrote: In a recent message sent to the list [1], I proposed the following modification [2] to account for filename transformations in man pages: + * Makefile.in (install-local): Use installed files on help2man command + line to account for file name transformations. - $(HELP2MAN) --section=1 -o $(DESTDIR)$(mandir)/man1/$$dest.1 $(builddir)/$$file; \ + $(HELP2MAN) --section=1 -o $(DESTDIR)$(mandir)/man1/$$dest.1 $(DESTDIR)$(bindir)/$$dest; \ Could your approach also support filename transformations? Grégoire [1] http://lists.gnu.org/archive/html/grub-devel/2010-06/msg00017.html [2] http://lists.gnu.org/archive/html/grub-devel/2010-06/txt4Y87EGyb6H.txt