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