This is done both manually and with machines depending on the size of your pool.