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 <[email protected]>: > 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
