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: Colin Watson
Subject: Re: [PATCH] Improve man page headers
Date: Wed, 9 Jun 2010 21:15:33 +0100
User-agent: Mutt/1.5.18 (2008-05-17)

On Wed, Jun 09, 2010 at 09:34:00PM +0200, Vladimir 'φ-coder/phcoder' Serbinenko 
wrote:
> On 06/08/2010 07:58 PM, Grégoire Sutre 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?
> 
> Please avoid reponding to random unrelated mail to post a new message.
> This is very confusing and usually results in your e-mail being
> unhandled when topic you posted is handled.

Grégoire's mail made perfect sense in this thread - he was raising an
incompatibility between his patch series and my patch, that will need
some work to resolve.

Cheers,

-- 
Colin Watson                                       address@hidden



reply via email to

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