If it's got a gearbox attached then use the tdc mark on the flywheel. Otherwise, as you say, line the mark on the auxbelt drive pulley with the arrow on the lower cambelt cover, then line the dot on the intermediate shaft up with edge of the aforementioned pulley, then line up the dot on the inside of cam pulley with the top front edge of the head. Distributor should be put in and rotated so that the rotor arm points to the line mark on the distributor, then set timing dynamically once installed
