YJ dome light question

[akdsmer]

My coworker just bought a 02 Wrangler. The dome light doesn't work and since it looks like the previous owner took the doors off, what is the normal disconnect procedure, so I can tell him how to reverse it. The door switches are still connected and the dome light does come on and turn off when you turn the vehicle off after driving it, so it likely isn't a fuse...