And if you already have the belt on
And the distributor is wrong because you moved the pulley putting on the belt....
If it's a little bit wrong, loosen the distributor hold-down bolt just as if you were setting the timing with a timing light, and rotate the distributor shell until it's right.
If it's way off, remove the hold-down completely, pull the distributor out, position the rotor properly, and reinstall the distributor.
There's no timing mark on the aux pulley because you can move the distributor even after the belt is on, so no need to get it right before the belt goes on.