--- a/tasks/task_generate_doc.py	Mon May 22 09:12:33 2023 +0200
+++ b/tasks/task_generate_doc.py	Mon May 22 09:13:02 2023 +0200
@@ -46,6 +46,7 @@
         for name, sub_doc_path in list(self.sub_docs.items()):
             sub_dir = regex.path_escape(name or '')
             build_path = os.path.join(self.build_path, 'doc', sub_dir)
+            log.info(f"generating doc for {sub_doc_path}")
             await self.runCommand(
                 sys.executable, "-m", "sphinx", sub_doc_path, build_path,
             )
@@ -53,6 +54,7 @@
         # then the root one
         if self.doc_path is not None:
             build_path = os.path.join(self.build_path, 'doc')
+            log.info(f"generating doc for {self.doc_path}")
             await self.runCommand(
                 sys.executable, "-m", "sphinx", self.doc_path, build_path,
             )