From c0235b596baa81a0d1a7a257858a40ee2596a244 Mon Sep 17 00:00:00 2001
From: breakgimme <30757793+breakgimme@users.noreply.github.com>
Date: Fri, 9 Apr 2021 09:31:20 +0200
Subject: [PATCH] Documentation: Change make to ninja in the installation guide
 (#6199)

---
 Documentation/INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation/INSTALL.md b/Documentation/INSTALL.md
index f681d20f27..6e6dba35d9 100644
--- a/Documentation/INSTALL.md
+++ b/Documentation/INSTALL.md
@@ -20,7 +20,7 @@ For more details on known working hardware see the [SerenityOS Hardware Compatib
 
 ## Creating a Serenity GRUB disk image
 
-Before creating a Serenity disk image, you need to build the OS as described in the [SerenityOS build instructions](https://github.com/SerenityOS/serenity/blob/master/Documentation/BuildInstructions.md). Follow those instructions up to and including running **make install**. After the OS has built, run **make grub-image** to create a new file called **grub_disk_image** with GRUB2 installed that can be booted on a real PC.
+Before creating a Serenity disk image, you need to build the OS as described in the [SerenityOS build instructions](https://github.com/SerenityOS/serenity/blob/master/Documentation/BuildInstructions.md). Follow those instructions up to and including running **ninja install**. After the OS has built, run **ninja grub-image** to create a new file called **grub_disk_image** with GRUB2 installed that can be booted on a real PC.
 
 The final step is copying **grub_disk_image** onto the disk you wish to use to boot Serenity using a command such as: