diff --git a/Main.lean b/Main.lean
deleted file mode 100644
index e60cc2b..0000000
--- a/Main.lean
+++ /dev/null
@@ -1,4 +0,0 @@
-import «Bookshelf»
-
-def main : IO Unit :=
-  IO.println s!"Hello, {hello}!"
diff --git a/lakefile.lean b/lakefile.lean
index 86589d0..e91ff6f 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -5,11 +5,7 @@ package «bookshelf» {
   -- add package configuration options here
 }
 
+@[default_target]
 lean_lib «Bookshelf» {
   -- add library configuration options here
 }
-
-@[default_target]
-lean_exe «bookshelf» {
-  root := `Main
-}