When you set up a mirror using the GUI, on the page where
you set the URL, click the button Set Options... | Spider
and select the option from the drop-down list.