changeset 24:e4002775d750

doc: log path of generated doc
author Goffi <goffi@goffi.org>
date Mon, 22 May 2023 09:13:02 +0200
parents 395af2ad2bc9
children 91e2f18bbbbb
files tasks/task_generate_doc.py
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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,
             )