diff options
| author | breakgimme <30757793+breakgimme@users.noreply.github.com> | 2021-04-09 09:31:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-09 09:31:20 +0200 |
| commit | c0235b596baa81a0d1a7a257858a40ee2596a244 (patch) | |
| tree | adb764aef33d637380ee66189edc4e4a66810ecf /Documentation | |
| parent | b75865484073cabc05fd783d6e4c24383877a542 (diff) | |
| download | serenity-c0235b596baa81a0d1a7a257858a40ee2596a244.zip | |
Documentation: Change make to ninja in the installation guide (#6199)
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
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: |