comparison tasks/task_generate_doc.py @ 24:e4002775d750

doc: log path of generated doc
author Goffi <goffi@goffi.org>
date Mon, 22 May 2023 09:13:02 +0200
parents 5fd933e238bb
children e7c7327f9f25
comparison
equal deleted inserted replaced
23:395af2ad2bc9 24:e4002775d750
44 44
45 # we first generate the sub documentations 45 # we first generate the sub documentations
46 for name, sub_doc_path in list(self.sub_docs.items()): 46 for name, sub_doc_path in list(self.sub_docs.items()):
47 sub_dir = regex.path_escape(name or '') 47 sub_dir = regex.path_escape(name or '')
48 build_path = os.path.join(self.build_path, 'doc', sub_dir) 48 build_path = os.path.join(self.build_path, 'doc', sub_dir)
49 log.info(f"generating doc for {sub_doc_path}")
49 await self.runCommand( 50 await self.runCommand(
50 sys.executable, "-m", "sphinx", sub_doc_path, build_path, 51 sys.executable, "-m", "sphinx", sub_doc_path, build_path,
51 ) 52 )
52 53
53 # then the root one 54 # then the root one
54 if self.doc_path is not None: 55 if self.doc_path is not None:
55 build_path = os.path.join(self.build_path, 'doc') 56 build_path = os.path.join(self.build_path, 'doc')
57 log.info(f"generating doc for {self.doc_path}")
56 await self.runCommand( 58 await self.runCommand(
57 sys.executable, "-m", "sphinx", self.doc_path, build_path, 59 sys.executable, "-m", "sphinx", self.doc_path, build_path,
58 ) 60 )
59 61
60 log.info(_("documentation has been generated")) 62 log.info(_("documentation has been generated"))