Meaning of "Dry docks"

A dock into which a vessel is flated, the water than being removed to allow for the construction or repair of ships.

Dry docks Meaning of