diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-05-29 12:01:18 (EDT) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-05-29 12:01:18 (EDT) |
commit | a577593a5d685b41d1f48859d4535f425cb808fc (patch) | |
tree | 16a2a32a0ce0f899ba3b38cdc33bcd3ae77ab30f /site/index.php | |
parent | 90f662b8047ae37fbda6dc78f48447a8268a282a (diff) | |
download | libreboot.org-a577593a5d685b41d1f48859d4535f425cb808fc.zip libreboot.org-a577593a5d685b41d1f48859d4535f425cb808fc.tar.gz libreboot.org-a577593a5d685b41d1f48859d4535f425cb808fc.tar.bz2 |
home page: add link showing how to change the GRUB menu
also change the link for installing GNU/Linux
Diffstat (limited to 'site/index.php')
-rw-r--r-- | site/index.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/site/index.php b/site/index.php index b7ba32e..e68ae70 100644 --- a/site/index.php +++ b/site/index.php @@ -77,7 +77,8 @@ <li><a href="docs/index.html"><?php echo gettext("Documentation"); ?></a></li> <li><a href="docs/hcl/index.html#supported_list"><?php echo gettext("Compatibility list"); ?></a></li> <li><a href="docs/install/index.html"><?php echo gettext("Installing libreboot"); ?></a></li> - <li><a href="docs/gnulinux/index.html"><?php echo gettext("Installing GNU/Linux"); ?></a></li> + <li><a href="docs/gnulinux/grub_boot_installer.html"><?php echo gettext("Installing GNU/Linux"); ?></a></li> + <li><a href="docs/gnulinux/grub_cbfs.html"><?php echo gettext("Booting GNU/Linux"); ?></a></li> </ul> <h2><?php echo gettext("Contact"); ?></h2> <ul> |