diff --git a/lakefile.lean b/lakefile.lean
index 7addfaf..a749b29 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -32,8 +32,8 @@ def runCmd (cmd : String) (args : Array String) : ScriptM Bool := do
   return hasError
 
 script build do
-  if ← runCmd "lake exe mk_exercise" #["Src", "build"] then return 1
-  if ← runCmd "lake exe mdgen" #["build", "md/build"] then return 1
-  if ← runCmd "lake exe import_all" #["Src"] then return 1
-  if ← runCmd "mdbook build" #[] then return 1
+  if ← runCmd "lake" #["exe", "mk_exercise", "Src", "build"] then return 1
+  if ← runCmd "lake" #["exe", "mdgen", "build", "md/build"] then return 1
+  if ← runCmd "lake" #["exe", "import_all", "Src"] then return 1
+  if ← runCmd "mdbook" #["build"] then return 1
   return 0