diff options
| author | Dylan Baker <dylan@pnwbakers.com> | 2020-09-09 10:31:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-09 10:31:52 -0700 |
| commit | 4c2d0eb9bcedefa3ef06a237a0502afbc581268b (patch) | |
| tree | 1b08ca5fb0c93573409a7a8954e6e1905f8a5b10 /tools/build_website.py | |
| parent | 8d54b7bda30062569c981b50a85a175565a7c15a (diff) | |
| parent | 057c77f7d08b3372e99065fb3f3cd37f16801a82 (diff) | |
| download | meson-4c2d0eb9bcedefa3ef06a237a0502afbc581268b.zip meson-4c2d0eb9bcedefa3ef06a237a0502afbc581268b.tar.gz meson-4c2d0eb9bcedefa3ef06a237a0502afbc581268b.tar.bz2 | |
Merge pull request #7657 from mensinda/moreTyping
typing: Strict type annotations
Diffstat (limited to 'tools/build_website.py')
| -rwxr-xr-x | tools/build_website.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/build_website.py b/tools/build_website.py index 5486b69..baf81db 100755 --- a/tools/build_website.py +++ b/tools/build_website.py @@ -6,14 +6,14 @@ assert(os.getcwd() == '/home/jpakkane') from glob import glob -def purge(fname): +def purge(fname: str) -> None: if not os.path.exists(fname): return if os.path.isdir(fname): shutil.rmtree(fname) os.unlink(fname) -def update(): +def update() -> None: webdir = 'mesonweb' repodir = 'mesonwebbuild' docdir = os.path.join(repodir, 'docs') |