[Top][All Lists]

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

install-docs target

From: Pawel Kot
Subject: install-docs target
Date: Thu, 11 Oct 2007 10:15:55 +0200


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?

take care,
Pawel Kot

reply via email to

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