Re: Files in DESTDIR but missing from flist

>> As I said, I build on case-sensitive APFS. The build installs both files.
>> 
>> % grep -Fi DES_random_key.3 build.log
>>    install  /dist/work/destdir.aarch64/usr/share/man/man3/des_random_key.3
>>    install  /dist/work/destdir.aarch64/usr/share/man/man3/DES_random_key.3
>> 
>> You are right, I used to build with MKMANZ=yes, but now I tried with
>> MKMANZ=no the build goes fine - the superfluous files are removed.
> 
> But are they superfluous, though?  And on a case-insensitive fs (which
> we explicitly want to support, I gather), that latter would overwrite
> the former.
> 
> As I said, adding ".man" seems to be the right thing to do, so please
> add them.  Dealing with "obsolete", not installing the openssl
> version, or installing it under a different name is another matter.
> 
> -uwe

I've verified -current builds with and without MKMANZ, and committed the change.

Thanks :)
Adam