On Tue, 29 Sep 2015, David Niklas wrote:

> I've had to deal with several Linux distros that are "rescue" systems that
> don't include man pages. No man pages at all! I say, keep it, it is handy.

Thanks for your opinions: 2 - 0 for keeping it, so it sticks.

-- 
  / daniel.haxx.se
-------------------------------------------------------------------
List admin: http://cool.haxx.se/list/listinfo/curl-users
FAQ:        http://curl.haxx.se/docs/faq.html
Etiquette:  http://curl.haxx.se/mail/etiquette.html