diff options
Diffstat (limited to 'docs/grub/index.html')
| -rw-r--r-- | docs/grub/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/grub/index.html b/docs/grub/index.html index e37d7d7e..e9e2c351 100644 --- a/docs/grub/index.html +++ b/docs/grub/index.html @@ -50,7 +50,7 @@ <p>This is a free font that is also contained in GNU/Linux distributions like Trisquel or Parabola.</p> <p><b>$ cd libreboot_src/grub</b><br/> - compile grub ('build' script has the info on how to do this)<br/> + compile grub (the build scripts info on how to do this)<br/> come back out into libreboot_src/resources/grub:<br/> <b>$ cd ../libreboot_src/resources/grub/font</b></p> @@ -95,7 +95,7 @@ </p> <p> - The scripts <b>build</b> and <b>buildrom-withgrub</b> will automatically see this, and automatically build + The build scripts will automatically see this, and automatically build ROM images with your custom layout (given the name) and include them under bin. Example: <b>libreboot_frazerty.rom</b>. </p> |