diff options
| -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> |