Hello,

yes, it is a good idea to drop this. We don't ship any development documentation on the systems anyway so if there is a switch, feel free to activate that.

Best, -Michael

On Sun, 2017-03-05 at 09:48 +0100, Matthias Fischer wrote:

Hi,

This just came to my view:

Do we really need the (empty) '/usr/share/doc'-directory for nettle?

Its installed through lfs:

... install -v -m755 -d /usr/share/doc/nettle-3.3 ...

And its ~active in nettle-rootfile which leads to an empty directory: '/usr/share/doc/nettle[VERSION].

Is this needed/intentional?

Or could it be built with '--disable-documentation' and perhaps save some time and ~space? ;-)

Best, Matthias