From a577593a5d685b41d1f48859d4535f425cb808fc Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Fri, 29 May 2015 12:01:18 -0400
Subject: home page: add link showing how to change the GRUB menu

also change the link for installing GNU/Linux
---
(limited to 'site/index.php')

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>
--
cgit v0.9.1