Oh, I see. Guess I'll just have to delete the man pages manually. Thanks!

2018-01-01 6:33 GMT-03:00 Daniel Stenberg <daniel_at_haxx.se>:
> On Thu, 28 Dec 2017, Martin Galvan via curl-library wrote:
>
>> I noticed that even if I configure curl with --disable-manual or
>> --enable-manual=no, I can still see man pages being installed to share/man.
>> It would be nice to fix this so we can have a minimal build.
>
>
> That configure option is to enable/disable the *built-in* manual in the
> command line tool. It does not affect the man pages or how the man pages are
> installed with "make install".
>
> --
>
> / daniel.haxx.se
-------------------------------------------------------------------
Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library
Etiquette: https://curl.haxx.se/mail/etiquette.html
Received on 2018-01-01