From 1c184c2681d54f71f91d956243522820f4673c5b Mon Sep 17 00:00:00 2001
From: Manlio Perillo <manlio.perillo@gmail.com>
Date: Sat, 13 May 2023 22:03:38 +0200
Subject: [PATCH] build: remove the install and uninstall steps

They are no longer used.
---
 build.zig | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build.zig b/build.zig
index c87742e..6f34235 100644
--- a/build.zig
+++ b/build.zig
@@ -119,6 +119,9 @@ pub fn build(b: *Build) !void {
         reset_text = "\x1b[0m";
     }
 
+    // Remove the standard install and uninstall steps.
+    b.top_level_steps = .{};
+
     const healed = b.option(bool, "healed", "Run exercises from patches/healed") orelse
         false;
     const override_healed_path = b.option([]const u8, "healed-path", "Override healed path");