summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
authorFrancis 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)
commita577593a5d685b41d1f48859d4535f425cb808fc (patch)
tree16a2a32a0ce0f899ba3b38cdc33bcd3ae77ab30f /site
parent90f662b8047ae37fbda6dc78f48447a8268a282a (diff)
downloadlibreboot.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')
-rw-r--r--site/index.php3
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>