grub-devel
[Top][All Lists]
Advanced

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

Re: [PATCH] manpages for everything


From: Robert Millan
Subject: Re: [PATCH] manpages for everything
Date: Sat, 9 Feb 2008 01:17:16 +0100
User-agent: Mutt/1.5.13 (2006-08-11)

On Fri, Feb 08, 2008 at 10:29:00PM +0100, Robert Millan wrote:
> +       $(HELP2MAN) --no-info $(builddir)/$$file > 
> $(DESTDIR)$(mandir)/$$dest.1; \

I think I missed --section here.  Possibly other options as well. --source=FSF ?

-- 
Robert Millan

<GPLv2> I know my rights; I want my phone call!
<DRM> What use is a phone call… if you are unable to speak?
(as seen on /.)




reply via email to

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