doc_repo: dump configuration file to built_doc when formatting.
doc_repo: dump configuration file to built_doc when formatting.

thiblahute/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,hotdoc/hotdoc