I don't want them to worry about the details of how to run Dokka, but I do think it important to teach them good programming practices, such as writing KDoc. It's good for them to be able to see the HTML produced, both for proofreading and motivation.
I am working on setting up Gradle to generate it for them but could use some help. I posted questions on #dokka and #gradle and would be very grateful for help on setting up the task properly.