[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
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?
- install-docs target,
Pawel Kot <=