diff options
| author | Jussi Pakkanen <jpakkane@gmail.com> | 2021-06-29 20:52:55 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-29 20:52:55 +0300 |
| commit | 4bfee181c5a166e3d429bd265e06d299dce50f30 (patch) | |
| tree | 8918a0e09f668ed55748ec254c51b4d92b5403a9 /tools/regenerate_docs.py | |
| parent | 81ca0ec7ae975723b8b399b9f142286895a45dab (diff) | |
| parent | c0a2025d038a08092212bfc45e7bbb46ff1e8e52 (diff) | |
| download | meson-4bfee181c5a166e3d429bd265e06d299dce50f30.zip meson-4bfee181c5a166e3d429bd265e06d299dce50f30.tar.gz meson-4bfee181c5a166e3d429bd265e06d299dce50f30.tar.bz2 | |
Merge pull request #8918 from mensinda/pathlibFixes
pathlib: Patch pathlib to work around some bugs (fixes #8263 #7295)
Diffstat (limited to 'tools/regenerate_docs.py')
| -rwxr-xr-x | tools/regenerate_docs.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/regenerate_docs.py b/tools/regenerate_docs.py index f5ce77b..2029314 100755 --- a/tools/regenerate_docs.py +++ b/tools/regenerate_docs.py @@ -114,13 +114,13 @@ def generate_hotdoc_includes(root_dir: Path, output_dir: Path) -> None: for cmd, parsed in cmd_data.items(): for typ in parsed.keys(): - with open(output_dir / (cmd+'_'+typ+'.inc'), 'w') as f: + with open(output_dir / (cmd+'_'+typ+'.inc'), 'w', encoding='utf-8') as f: f.write(parsed[typ]) def generate_wrapdb_table(output_dir: Path) -> None: url = urlopen('https://wrapdb.mesonbuild.com/v2/releases.json') releases = json.loads(url.read().decode()) - with open(output_dir / 'wrapdb-table.md', 'w') as f: + with open(output_dir / 'wrapdb-table.md', 'w', encoding='utf-8') as f: f.write('| Project | Versions | Provided dependencies | Provided programs |\n') f.write('| ------- | -------- | --------------------- | ----------------- |\n') for name, info in releases.items(): @@ -147,7 +147,7 @@ def regenerate_docs(output_dir: PathLike, generate_wrapdb_table(output_dir) if dummy_output_file: - with open(output_dir/dummy_output_file, 'w') as f: + with open(output_dir/dummy_output_file, 'w', encoding='utf-8') as f: f.write('dummy file for custom_target output') if __name__ == '__main__': |