How did Robin Williams get his name?

Robin Williams was born Robin McLaurin Williams.