No, the etymology is actually completely distinct from the gendered usage of “man.” It’s actually quite interesting.

www.etymologynerd.com/blog/man-vs-woman