It should have been downloaded automatically.
If he had an Internet connection at the time he first launched Xcode, and if he had one long enough to download the whole doc set. Neither of which are safe assumptions, but which Xcode continues to make.
Do not post admin requests to the list. They will be ignored.
Xcode-users mailing list (email@hidden)
Help/Unsubscribe/Update your Subscription:
This email sent to email@hidden