Re: [PATCH 3/3] doc: rewrite shell scripts in Python

2022-04-01 17:31 (UTC+0100), Bruce Richardson: > On Fri, Apr 01, 2022 at 12:28:30AM +0300, Dmitry Kozlyuk wrote: [...] > > +if is_source or name == 'meson.meson.build': > > duplicate "meson." Thanks! > > +path = os.path.join(root, name) > > +if is_so

Re: [PATCH 3/3] doc: rewrite shell scripts in Python

On Fri, Apr 01, 2022 at 12:28:30AM +0300, Dmitry Kozlyuk wrote: > Shell used in documentation generation could not run on Windows. > Rewrite scripts in Python. > New scripts use proper path separators and handle paths with spaces. > > Signed-off-by: Dmitry Kozlyuk > --- Generally looks ok to me,