install-docs target

[Pawel Kot]

Hi,

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,
pkot
-- 
Pawel Kot