What is to draw, law, or place (a ship) in a dock, for repairing, cleaning the bottom, etc called?

dock — To draw, law, or place (a ship) in a dock, for repairing, cleaning the bottom, etc. (Webster's 1913.)

Sources