[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
http://www.kz-easy.com/