[Top][All Lists]

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

Re: install-docs target

From: Baurzhan Ismagulov
Subject: Re: install-docs target
Date: Thu, 11 Oct 2007 12:41:57 +0200
User-agent: Mutt/1.5.13 (2006-08-11)

On Thu, Oct 11, 2007 at 10:15:55AM +0200, Pawel Kot wrote:
> gnokii make install, currently does not install any documentation.
> Instead we have install-docs target that installs user documentation.
> As the objection to this behaviour appeared, the question is: should
> we get rid of install-docs target and move its functionality into
> install target or leave it as it is?

I would leave install-docs as it is and add it as a prerequisite for
install. Installing docs only is sometimes useful.

My $0.02,
Baurzhan Ismagulov

reply via email to

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