Need help with Direct TV hook up

I am trying to help a friend hook up his Direct TV receiver in his motor home. The receiver only has HDMI out. How can we hook the receiver up to the distribution box in the motor home so he can wa...