diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-05-27 08:26:31 (EDT) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-05-27 08:26:31 (EDT) |
commit | bf58644d22d8ca1817ef2c89b38cbfedac079bfb (patch) | |
tree | 44812662f5a6892a5e060fc6afa2062a54ce4320 /site/download/index.php | |
parent | 5704e1e142e3cd9a4469dd35e6322228f90a4801 (diff) | |
download | libreboot.org-bf58644d22d8ca1817ef2c89b38cbfedac079bfb.zip libreboot.org-bf58644d22d8ca1817ef2c89b38cbfedac079bfb.tar.gz libreboot.org-bf58644d22d8ca1817ef2c89b38cbfedac079bfb.tar.bz2 |
download page: clarify what the release archives are for
Diffstat (limited to 'site/download/index.php')
-rw-r--r-- | site/download/index.php | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/site/download/index.php b/site/download/index.php index 2dc260a..0380fd5 100644 --- a/site/download/index.php +++ b/site/download/index.php @@ -44,7 +44,7 @@ <p><?php echo gettext("Links to HTTP mirrors, rsync mirrors and git repositories. Download libreboot here."); ?></p> <ul class="l"> - <li><a href="#http"><?php echo gettext("HTTP mirrors"); ?></a></li> + <li><a href="#archives"><?php echo gettext("Archived releases"); ?></a></li> <li><a href="#mirror"><?php echo gettext("Rsync mirrors"); ?></a></li> <li><a href="#git"><?php echo gettext("Git repositories (development)"); ?></a></li> </ul> @@ -84,9 +84,9 @@ </div> - <div class="s" id="http"> + <div class="s" id="archives"> - <h1><?php echo gettext("HTTP mirrors (releases)"); ?></h1> + <h1><?php echo gettext("Archived releases"); ?></h1> <p> <?php echo gettext("These releases are more rigorously tested."); ?> @@ -106,10 +106,12 @@ <?php echo gettext("Release date:"); ?> <?php echo $lbRelease[0][0][1]; ?>. </b> </p> + + <h2 id="http">HTTP mirrors</h2> <?php - /* show HTTP mirrors */ - echo list_items($lbHttpMirror, gettext("HTTP mirrors not added yet."),0,count($lbHttpMirror)); + /* show HTTP mirrors */ + echo list_items($lbHttpMirror, gettext("HTTP mirrors not added yet."),0,count($lbHttpMirror)); ?> <h2 id="ftp">FTP mirrors</h2> <?php |