diff options
Diffstat (limited to 'site/index.php')
| -rw-r--r-- | site/index.php | 76 |
1 files changed, 35 insertions, 41 deletions
diff --git a/site/index.php b/site/index.php index 99b4517..ada0f73 100644 --- a/site/index.php +++ b/site/index.php @@ -43,14 +43,44 @@ ?> <a href="docs/index.html#why"><?php echo gettext("Learn more"); ?></a> </p> <ul> - <li><a href="#downloads">Downloads</a></li> - <li><a href="#howtouse">How to use libreboot</a></li> - <li><a href="#howtohelp">How to help</a></li> - <li><a href="#contact">Contact information</a></li> + <li><a href="download/"><?php echo gettext("Download libreboot"); ?></a></li> + <li><a href="git/"><?php echo gettext("Git repositories"); ?></a></li> + <li><a href="gpg/"><?php echo gettext("GPG keys"); ?></a></li> + <li><a href="rsync/"><?php echo gettext("Mirroring libreboot"); ?> (rsync)</a></li> </ul> + <ul> + <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("How to install libreboot"); ?></a></li> + <li><a href="docs/gnulinux/grub_boot_installer.html"><?php echo gettext("How to install GNU/Linux"); ?></a></li> + <li><a href="docs/gnulinux/grub_cbfs.html"><?php echo gettext("How to boot GNU/Linux"); ?></a></li> + </ul> + </div> + + <div> + + + <h2 id="howtohelp">How to help?</h2> + <ul> + <li><a href="docs/tasks.html">List of tasks that need to be completed</a></li> + <li><a href="docs/maintain/index.html">Maintaining libreboot</a></li> + </ul> + <h2>Pre-configured libreboot systems</h2> + <p> + <?php echo gettext("Pre-configured libreboot systems are also available, from several <a href='suppliers/'>commercial suppliers</a>."); ?> + </p> + <h2 id="contact"><?php echo gettext("Contact"); ?></h2> + <ul> + <li><a href="contrib/"><?php echo gettext("Maintainers"); ?></a></li> + <li><a href="<?php echo $userMailingListAddress; ?>"><?php echo gettext("Mailing list"); ?></a></li> + <li><a href="<?php echo $devMailingListAddress; ?>"><?php echo gettext("Dev mailing list"); ?></a></li> + <li><a href="<?php echo $ircChannelAddress; ?>"><?php echo $ircChannelName; ?></a></li> + </ul> + </div> <div> + <h2>What is this all about?</h2> <p> Most people in the global <a href="https://www.gnu.org/philosophy/free-sw.html">free software</a> community are using free operating systems; namely, the <a href="https://gnu.org/">GNU operating system</a>. However, most of them are still relying on proprietary software to boot their operating system, via software @@ -61,6 +91,7 @@ </p> </div> <div> + <h2>What are the technical benefits?</h2> <p> Libreboot has many practical advantages over <a href="https://gnu.org/philosophy/proprietary/">proprietary</a> boot firmware, such as faster boot speeds and better security; source audits are possible and, @@ -70,43 +101,6 @@ from the flash chip (planned for a future release), and more. </p> </div> - <div> - <p> - <?php echo gettext("Pre-configured libreboot systems are also available, from several <a href='suppliers/'>commercial suppliers</a>."); ?> - </p> - </div> - - <div> - <h1 id="downloads"><?php echo gettext("Downloads"); ?></h1> - <ul> - <li><a href="download/"><?php echo gettext("Stable release archives"); ?></a></li> - <li><a href="git/"><?php echo gettext("Git repositories"); ?></a></li> - <li><a href="gpg/"><?php echo gettext("GPG keys"); ?></a></li> - <li><a href="rsync/"><?php echo gettext("Mirroring libreboot"); ?> (rsync)</a></li> - </ul> - <h2 id="howtouse"><?php echo gettext("Support"); ?></h2> - <ul> - <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("Install libreboot"); ?></a></li> - <li><a href="docs/gnulinux/grub_boot_installer.html"><?php echo gettext("Install GNU/Linux"); ?></a></li> - <li><a href="docs/gnulinux/grub_cbfs.html"><?php echo gettext("Boot GNU/Linux"); ?></a></li> - </ul> - - <h2 id="howtohelp">How to help?</h2> - <ul> - <li><a href="docs/tasks.html">List of tasks that need to be completed</a></li> - <li><a href="docs/maintain/index.html">Maintaining libreboot</a></li> - </ul> - <h2 id="contact"><?php echo gettext("Contact"); ?></h2> - <ul> - <li><a href="contrib/"><?php echo gettext("Maintainers"); ?></a></li> - <li><a href="<?php echo $userMailingListAddress; ?>"><?php echo gettext("Mailing list"); ?></a></li> - <li><a href="<?php echo $devMailingListAddress; ?>"><?php echo gettext("Dev mailing list"); ?></a></li> - <li><a href="<?php echo $ircChannelAddress; ?>"><?php echo $ircChannelName; ?></a></li> - </ul> - - </div> <?php include "common/footer.php"; |