grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Improve man page headers


From: Grégoire Sutre
Subject: Re: [PATCH] Improve man page headers
Date: Tue, 08 Jun 2010 19:58:57 +0200
User-agent: Mozilla/5.0 (X11; U; NetBSD i386; en-US; rv:1.9.1.9) Gecko/20100603 Shredder/3.0.4

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]