diff options
-rw-r--r-- | docs/maintain/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/maintain/index.html b/docs/maintain/index.html index 76c1bb9f..1a7e46be 100644 --- a/docs/maintain/index.html +++ b/docs/maintain/index.html @@ -45,7 +45,7 @@ <a href="#updating_grub">Updating GRUB</a> <ul> <li><a href="#newpatch_grub">Add/remove/modify patches in GRUB</a></li> - <li><a href="#altbuild_grub">Change how GRUB is built (utility: grub-assemble)</a></li> + <li><a href="#altbuild_grub_payload">Change how the GRUB payload (grub.elf) is built (utility: grub-assemble)</a></li> <li><a href="#newconfig_grub">Modify the configuration used in GRUB</a></li> <li><a href="../grub/index.html">Other maintenance-related tasks in GRUB</a></li> </ul> @@ -324,7 +324,7 @@ <div class="section"> - <h1 id="altbuild_grub">Change how GRUB is built (utility: grub-assemble)</h1> + <h1 id="altbuild_grub_payload">Change how the GRUB payload (grub.elf) is built (utility: grub-assemble)</h1> <p> TODO: write this section |