doc: Update to latest way of generating hotdoc config files
Related merge request !2107 to merge update_hodoc_style
latest
merge request
15 jobs
33 minutes 54 seconds, queued for 1 seconds