diff options
| author | Daniel Mensinger <daniel@mensinger-ka.de> | 2020-08-28 21:40:51 +0200 |
|---|---|---|
| committer | Daniel Mensinger <daniel@mensinger-ka.de> | 2020-09-08 20:15:56 +0200 |
| commit | 0d57e307b2fea541a9ee368873431fe224e5c982 (patch) | |
| tree | 2ead0d7c0824a2564cc81643a4a89a1c1f6e62b5 /tools/build_website.py | |
| parent | 449dd8e72a3ccc4c6f7ec70169515784cd687a2c (diff) | |
| download | meson-0d57e307b2fea541a9ee368873431fe224e5c982.zip meson-0d57e307b2fea541a9ee368873431fe224e5c982.tar.gz meson-0d57e307b2fea541a9ee368873431fe224e5c982.tar.bz2 | |
typing: fully annotate tools
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') |