diff options
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') |