diff options
author | Louie S <louie@example.com> | 2023-09-14 16:28:05 -0400 |
---|---|---|
committer | Louie S <louie@example.com> | 2023-09-14 16:28:05 -0400 |
commit | a1c45a5d707095f503ff94981d91bfceb26f14c4 (patch) | |
tree | 82104b4211742936141e402aa937101f31a762c7 /README | |
parent | bd511f431b75f21e8290aa2527d6222467e56b20 (diff) |
Add grub-dev target
Diffstat (limited to 'README')
-rw-r--r-- | README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -11,11 +11,11 @@ appropriately. The possible `make` targets are: -- `grub` - GRUB2 Documentation [https://www.gnu.org/software/grub/manual/grub/] +- `grub` - GRUB2 Documentation [https://www.gnu.org/software/grub/manual/grub/] +- `grub-dev` - GRUB2 Developers Manual [https://www.gnu.org/software/grub/manual/grub-dev/] Additional `make` targets that have not been implemented are: -- `grub-dev` - GRUB2 Developers Manual [https://www.gnu.org/software/grub/manual/grub-dev/] - `grub-legacy` - GRUB Legacy Documentation [https://www.gnu.org/software/grub/manual/legacy/] - `multiboot` - Multiboot Specification [https://www.gnu.org/software/grub/manual/multiboot/] - `multiboot2` - Multiboot2 Specification [https://www.gnu.org/software/grub/manual/multiboot2/] |