# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1684739582 -7200
# Node ID e4002775d7506fa6bcaeb7fa4e018d374559c662
# Parent  395af2ad2bc93973bb2ad0d39727a8c7ff3e403a
doc: log path of generated doc

diff -r 395af2ad2bc9 -r e4002775d750 tasks/task_generate_doc.py
--- 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,
             )