diff --git a/docs/build.py b/docs/build.py
index 67ce6c3fe..379d8f976 100755
--- a/docs/build.py
+++ b/docs/build.py
@@ -14,4 +14,4 @@ for script in (here / "scripts").glob("*.py"):
 
 if (here / "public").exists():
     shutil.rmtree(here / "public")
-subprocess.run(["hugo"], cwd=here / "src")
+subprocess.run(["hugo"], cwd=here / "src", check=True)