Split up download page into separate pages

6 files changed, 353 insertions, 206 deletions

diff --git a/site/common/ccs.php b/site/common/ccs.php
new file mode 100644
index 0000000..b3b466a
--- /dev/null
+++ b/site/common/ccs.php
@@ -0,0 +1,26 @@
+<?php
+/*
+    Footer
+    Copyright (C) 2014, 2015  Francis Rowe <info@gluglug.org.uk>
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Affero General Public License as
+    published by the Free Software Foundation, either version 3 of the
+    License, or (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Affero General Public License for more details.
+
+    You should have received a copy of the GNU Affero General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+*/
+?>
+	<div>
+
+		<p>
+			<?php echo gettext("Libreboot includes statically linked executables, built in Trisquel GNU/Linux; if you need the sources for those statically linked dependencies inside the executables, then you can contact the libreboot project using the details on the home page. You can also get the Trisquel source code from the <a href='https://trisquel.info/'>Trisquel website</a>."); ?>
+		</p>
+
+	</div>
\ No newline at end of file
diff --git a/site/download/index.php b/site/download/index.php
index 1373b44..b7c70fc 100644
--- a/site/download/index.php
+++ b/site/download/index.php
@@ -36,54 +36,12 @@
 
 		<h1><?php echo gettext("Download libreboot"); ?></h1>
 
-			<p><?php echo gettext("Links to HTTP mirrors, rsync mirrors and git repositories. Download libreboot here."); ?></p>
-
-			<ul>
-				<li><a href="#archives"><?php echo gettext("Release archives"); ?></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>
-				<li><a href="../"><?php echo gettext("Back to home page"); ?></a></li>
-			</ul>
-
-	</div>
-
-	<div id="gpg">
-
-		<h1><?php echo gettext("GPG signing key"); ?></h1>
-
-			<p>
-				<?php echo $lbProjectGpgKeyInfo; ?>
-			</p>
-			<p>
-				<?php echo gettext("Download the key:"); ?><br/>
-				$ <b>gpg --recv-keys <?php echo $lbProjectGpgKeyID; ?></b>
-			</p>
-
-			<p>
-				<?php echo gettext("Download the SHA512 manifest and its corresponding GPG signature, for the release that you are using."); ?>
-				<?php echo gettext("Put the src, util and docs archives in the same directory as the SHA512 manifest file."); ?>
-				<?php echo gettext("Put your ROM image archives under <i>rom/</i> in that directory, and crossgcc tarballs under <i>crossgcc/</i>."); ?>
-			</p>
-			<p>
-				<?php echo gettext("After you've done this, verify the SHA512 checksums:"); ?><br/>
-				$ <b>sha512sum -c sha512sum.txt</b>
-			</p>
-			<p>
-				<?php echo gettext("You can verify the downloaded SHA512 manifest as follows:"); ?><br/>
-				$ <b>gpg --verify sha512sum.txt.sig</b>
-			</p>
-
-	</div>
-
-	<div id="archives">
-
-		<h1><?php echo gettext("Release archives"); ?></h1>
-
 			<p>
 				<b>
 					<?php echo gettext("The latest release is:"); ?> <?php echo $lbRelease[0][0][0]; ?>.
 					<?php echo gettext("Release date:"); ?> <?php echo $lbRelease[0][0][1]; ?>.
 				</b>
+				<a href="../"><?php echo gettext("Back to home page"); ?></a>
 			</p>
 
 			<h2 id="http">HTTP mirrors</h2>
@@ -99,166 +57,8 @@
 
 	</div>
 
-	<div id="mirror">
-
-		<h1><?php echo gettext("Mirroring libreboot (via rsync)"); ?></h1>
-			<p>
-				<?php echo gettext("Create a directory in your web directory (e.g. libreboot/) and put one of these in your crontab:"); ?>
-			</p>
-
-			<?php
-				echo rsyncList($lbRsyncServer, gettext("No mirrors available in this range."), 0, count($lbRsyncServer));
-			?>
-
-			<p>
-				<?php echo gettext("Are you running a mirror? Contact the libreboot project, and the link will be added to this page."); ?>
-			</p>
-
-	</div>
-
-	<div id="git">
-
-		<h1><?php echo gettext("Git repositories (development)"); ?></h1>
-
-			<p>
-				<?php echo gettext("For a list of current tasks in libreboot, see:"); ?> <a href="../docs/tasks.html">../docs/tasks.html</a>.
-				There is also a <a href="http://projects.mtjm.eu/projects/libreboot"><?php echo gettext("bug tracker"); ?></a>
-			</p>
-
-			<p>
-				<?php echo gettext("Maintenance guides can be found at <a href=\"../docs/maintain/index.html\">../docs/maintain/index.html</a> and <a href=\"../docs/git/index.html\">../docs/git/index.html</a>."); ?>
-			</p>
-
-			<h2><?php echo gettext("How to download"); ?></h2>
-				<p>
-					<?php echo gettext("Coreboot distribution. <i>This also contains the documentation</i>:"); ?><br/>
-					$ <b>git clone <a href="<?php echo $lbFirmwareGitwebAddress; ?>"><?php echo $lbFirmwareGitRepoAddress; ?></a></b>
-				</p>
-				<p>
-					<?php echo gettext("Website. <i>Documentation is in the other repository</i>:"); ?><br/>
-					$ <b>git clone <a href="<?php echo $lbWebsiteGitwebAddress; ?>"><?php echo $lbWebsiteGitRepoAddress; ?></a></b>
-				</p>
-
-			<h2 id="contrib"><?php echo gettext("Submitting patches"); ?></h2>
-				<p>
-					<?php echo gettext("The <a href=\"http://git-scm.com/doc\">git documentation</a> describes how to use git. The following notes include simple tips for how to use git, but it is a good idea to get fully acquainted with git."); ?>
-				</p>
-				<p>
-					<?php echo gettext("Make sure that you configured git so that your name and email address appear in the commits that you create:"); ?><br/>
-					$ <b>git config --global user.name &quot;Your Name&quot;</b><br/>
-					$ <b>git config --global user.email your@emailaddress.com</b>
-				</p>
-				<p>
-					<?php echo gettext("The following is also useful:"); ?><br/>
-					$ <b>git config --global core.editor nano</b><br/>
-					$ <b>git config --global color.status auto</b><br/>
-					$ <b>git config --global color.branch auto</b><br/>
-					$ <b>git config --global color.interactive auto</b><br/>
-					$ <b>git config --global color.diff auto</b>
-				</p>
-				<p>
-					<?php echo gettext("Clone the git repository, and make your desired changes."); ?>
-					<?php echo gettext("You can make one or several commits (as many as you like)."); ?>
-					<?php echo gettext("Generally speaking, you should create separate commits on top of each other, for each kind of change."); ?>
-				</p>
-				<p>
-					<?php echo gettext("Once you have made your change(s), you can use this to check the status:"); ?><br/>
-					$ <b>git status</b>
-				</p>
-			</div>
-
-			<div>
-
-				<p>
-					<?php echo gettext("If you are modifying an existing file, then make sure to update the copyright license header in that file; in source files or scripts, this would usually be at the top, and for documentation it is typically at the bottom of the document. It is good practise to use your real name in the commit logs."); ?>
-				</p>
-				<p>
-					<?php echo gettext("Generally speaking, using the same license as the file that you are modifying is much simpler."); ?>
-					<?php echo gettext("If you are submitting new files, please make sure that they are under a free license (copyleft preferred)."); ?>
-					<?php echo gettext("You can find a list on:"); ?>
-					<a href="https://www.gnu.org/licenses/license-list.html">https://www.gnu.org/licenses/license-list.html</a>.
-				</p>
-				<p>
-					<i>
-						<?php echo gettext("The libreboot project will not accept documentation released under the <u>GNU Free Documentation License</u>, because we do not want to endorse or support the Invariant clauses that this license allows. Changes submitted under this license will be rejected, even if it contains no Invariant sections."); ?>
-					</i>
-				</p>
-
-			</div>
-
-			<div>
-
-				<p>
-					<?php echo gettext("The status command will show any untracked files that you have. Add them using <b>git add path/to/file</b>. You should also add any other files that are listed as modified in the git status. If there are deleted files in the git status, you can use <b>git rm path/to/file</b>. As long as you have added all the untracked files, it is generally easier to use:"); ?><br/>
-					$ <b>git commit -a</b><br/>
-					<?php echo gettext("(instead of <b>git commit</b>)"); ?>
-				</p>
-				<p>
-					<?php echo gettext("If you need to make a change to the current commit, you can do so with:"); ?><br/>
-					$ <b>git commit --amend</b><br/>
-					<?php echo gettext("or:"); ?><br/>
-					$ <b>git commit -a --amend</b>
-				</p>
-				<p>
-					<?php echo gettext("In your local git tree, you can use this to check your commits:"); ?><br/>
-					$ <b>git log</b>
-				</p>
-				<p>
-					<?php echo gettext("Shortened git logs showing the short commit ID and the commit title, plus info about what branch you are on, and where all your remotes/heads are:"); ?><br/>
-					$ <b>git config --global --add alias.lol &quot;log --graph --decorate --pretty=oneline --abbrev-commit --all&quot;</b><br/>
-					<?php echo gettext("From then on, you can use:"); ?><br/>
-					$ <b>git lol</b><br/>
-					<?php echo gettext("This is like <b>git log</b>, but on steroids."); ?>
-				</p>
-				<h3><?php echo gettext("Method 1: host a repository"); ?></h3>
-					<p>
-						<?php echo gettext("Give the checkout details to the libreboot project, along with information on which commits in what branch contain your changes."); ?>
-					</p>
-				<h3><?php echo gettext("Method 2: git format-patch -N"); ?></h3>
-					<p>
-						<?php echo gettext("Use this method (replace N with the number of commits that you made) and send the .patch files to the libreboot project, along with details on what branch and revision these were made on top of."); ?>
-					</p>
-				<p>
-					<?php echo gettext("Contact the libreboot project using the details on the home page, sending your patch(es). The mailing list is generally preferable, although IRC can also be just as good for small patches (you would probably put the patch on a paste site)."); ?>
-				</p>
-
-			<h2 id="gitbackup"><?php echo gettext("Backup repositories"); ?></h2>
-
-				<h3><?php echo gettext("Firmware (coreboot distribution)"); ?></h3>
-					<p>
-<?php
-	for ($server=0; $server<count($lbFirmwareBackupGitRepoAddress); $server++) {
-?>
-						$ <b>git clone <?php echo $lbFirmwareBackupGitRepoAddress[$server]; ?></b>
-						<?php if ($server!=count($lbFirmwareBackupGitRepoAddress)-1) echo "<br/>"; ?>
-<?php
-	}
-?>
-					</p>
-
-				<h3><?php echo gettext("Libreboot website"); ?></h3>
-					<p>
-<?php
-	for ($server=0; $server<count($lbWebsiteBackupGitRepoAddress); $server++) {
-?>
-						$ <b>git clone <?php echo $lbWebsiteBackupGitRepoAddress[$server]; ?></b>
-						<?php if ($server!=count($lbWebsiteBackupGitRepoAddress)-1) echo "<br/>"; ?>
-<?php
-	}
-?>
-					</p>
-
-	</div>
-
-	<div id="trisquel">
-
-		<p>
-			<?php echo gettext("Libreboot includes statically linked executables, built in Trisquel GNU/Linux; if you need the sources for those statically linked dependencies inside the executables, then you can contact the libreboot project using the details on the home page. You can also get the Trisquel source code from the <a href='https://trisquel.info/'>Trisquel website</a>."); ?>
-		</p>
-
-	</div>
-
 <?php
+	include "../common/ccs.php";
 	include "../common/footer.php";
 ?>
 
diff --git a/site/git/index.php b/site/git/index.php
new file mode 100644
index 0000000..1ebedd6
--- /dev/null
+++ b/site/git/index.php
@@ -0,0 +1,180 @@
+<?php
+/*
+    Download page
+    Copyright (C) 2015  Francis Rowe <info@gluglug.org.uk>
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Affero General Public License as
+    published by the Free Software Foundation, either version 3 of the
+    License, or (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Affero General Public License for more details.
+
+    You should have received a copy of the GNU Affero General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+*/
+	header('Content-type: text/html; charset=utf-8');
+	ob_start();
+	include_once "../common/variables.php";
+	include_once "../common/functions.php";
+?>
+<!DOCTYPE html>
+<html>
+<head>
+	<style type="text/css">
+		<?php echo miniCss(file_get_contents("../common/css/main.css")); ?>
+	</style>
+	<title><?php echo gettext("Git repositories"); ?></title>
+</head>
+
+<body>
+
+	<div>
+
+		<h1><?php echo gettext("Git repositories"); ?></h1>
+
+			<p>
+				<?php echo gettext("For a list of current tasks in libreboot, see:"); ?> <a href="../docs/tasks.html">../docs/tasks.html</a>.
+				There is also a <a href="http://projects.mtjm.eu/projects/libreboot"><?php echo gettext("bug tracker"); ?></a>
+			</p>
+
+			<p>
+				<?php echo gettext("Maintenance guides can be found at <a href=\"../docs/maintain/index.html\">../docs/maintain/index.html</a> and <a href=\"../docs/git/index.html\">../docs/git/index.html</a>."); ?>
+			</p>
+
+			<h2><?php echo gettext("How to download"); ?></h2>
+				<p>
+					<?php echo gettext("Coreboot distribution. <i>This also contains the documentation</i>:"); ?><br/>
+					$ <b>git clone <a href="<?php echo $lbFirmwareGitwebAddress; ?>"><?php echo $lbFirmwareGitRepoAddress; ?></a></b>
+				</p>
+				<p>
+					<?php echo gettext("Website. <i>Documentation is in the other repository</i>:"); ?><br/>
+					$ <b>git clone <a href="<?php echo $lbWebsiteGitwebAddress; ?>"><?php echo $lbWebsiteGitRepoAddress; ?></a></b>
+				</p>
+
+			<h2 id="contrib"><?php echo gettext("Submitting patches"); ?></h2>
+				<p>
+					<?php echo gettext("The <a href=\"http://git-scm.com/doc\">git documentation</a> describes how to use git. The following notes include simple tips for how to use git, but it is a good idea to get fully acquainted with git."); ?>
+				</p>
+				<p>
+					<?php echo gettext("Make sure that you configured git so that your name and email address appear in the commits that you create:"); ?><br/>
+					$ <b>git config --global user.name &quot;Your Name&quot;</b><br/>
+					$ <b>git config --global user.email your@emailaddress.com</b>
+				</p>
+				<p>
+					<?php echo gettext("The following is also useful:"); ?><br/>
+					$ <b>git config --global core.editor nano</b><br/>
+					$ <b>git config --global color.status auto</b><br/>
+					$ <b>git config --global color.branch auto</b><br/>
+					$ <b>git config --global color.interactive auto</b><br/>
+					$ <b>git config --global color.diff auto</b>
+				</p>
+				<p>
+					<?php echo gettext("Clone the git repository, and make your desired changes."); ?>
+					<?php echo gettext("You can make one or several commits (as many as you like)."); ?>
+					<?php echo gettext("Generally speaking, you should create separate commits on top of each other, for each kind of change."); ?>
+				</p>
+				<p>
+					<?php echo gettext("Once you have made your change(s), you can use this to check the status:"); ?><br/>
+					$ <b>git status</b>
+				</p>
+			</div>
+
+			<div>
+
+				<p>
+					<?php echo gettext("If you are modifying an existing file, then make sure to update the copyright license header in that file; in source files or scripts, this would usually be at the top, and for documentation it is typically at the bottom of the document. It is good practise to use your real name in the commit logs."); ?>
+				</p>
+				<p>
+					<?php echo gettext("Generally speaking, using the same license as the file that you are modifying is much simpler."); ?>
+					<?php echo gettext("If you are submitting new files, please make sure that they are under a free license (copyleft preferred)."); ?>
+					<?php echo gettext("You can find a list on:"); ?>
+					<a href="https://www.gnu.org/licenses/license-list.html">https://www.gnu.org/licenses/license-list.html</a>.
+				</p>
+				<p>
+					<i>
+						<?php echo gettext("The libreboot project will not accept documentation released under the <u>GNU Free Documentation License</u>, because we do not want to endorse or support the Invariant clauses that this license allows. Changes submitted under this license will be rejected, even if it contains no Invariant sections."); ?>
+					</i>
+				</p>
+
+			</div>
+
+			<div>
+
+				<p>
+					<?php echo gettext("The status command will show any untracked files that you have. Add them using <b>git add path/to/file</b>. You should also add any other files that are listed as modified in the git status. If there are deleted files in the git status, you can use <b>git rm path/to/file</b>. As long as you have added all the untracked files, it is generally easier to use:"); ?><br/>
+					$ <b>git commit -a</b><br/>
+					<?php echo gettext("(instead of <b>git commit</b>)"); ?>
+				</p>
+				<p>
+					<?php echo gettext("If you need to make a change to the current commit, you can do so with:"); ?><br/>
+					$ <b>git commit --amend</b><br/>
+					<?php echo gettext("or:"); ?><br/>
+					$ <b>git commit -a --amend</b>
+				</p>
+				<p>
+					<?php echo gettext("In your local git tree, you can use this to check your commits:"); ?><br/>
+					$ <b>git log</b>
+				</p>
+				<p>
+					<?php echo gettext("Shortened git logs showing the short commit ID and the commit title, plus info about what branch you are on, and where all your remotes/heads are:"); ?><br/>
+					$ <b>git config --global --add alias.lol &quot;log --graph --decorate --pretty=oneline --abbrev-commit --all&quot;</b><br/>
+					<?php echo gettext("From then on, you can use:"); ?><br/>
+					$ <b>git lol</b><br/>
+					<?php echo gettext("This is like <b>git log</b>, but on steroids."); ?>
+				</p>
+				<h3><?php echo gettext("Method 1: host a repository"); ?></h3>
+					<p>
+						<?php echo gettext("Give the checkout details to the libreboot project, along with information on which commits in what branch contain your changes."); ?>
+					</p>
+				<h3><?php echo gettext("Method 2: git format-patch -N"); ?></h3>
+					<p>
+						<?php echo gettext("Use this method (replace N with the number of commits that you made) and send the .patch files to the libreboot project, along with details on what branch and revision these were made on top of."); ?>
+					</p>
+				<p>
+					<?php echo gettext("Contact the libreboot project using the details on the home page, sending your patch(es). The mailing list is generally preferable, although IRC can also be just as good for small patches (you would probably put the patch on a paste site)."); ?>
+				</p>
+
+			<h2 id="gitbackup"><?php echo gettext("Backup repositories"); ?></h2>
+
+				<h3><?php echo gettext("Firmware (coreboot distribution)"); ?></h3>
+					<p>
+<?php
+	for ($server=0; $server<count($lbFirmwareBackupGitRepoAddress); $server++) {
+?>
+						$ <b>git clone <?php echo $lbFirmwareBackupGitRepoAddress[$server]; ?></b>
+						<?php if ($server!=count($lbFirmwareBackupGitRepoAddress)-1) echo "<br/>"; ?>
+<?php
+	}
+?>
+					</p>
+
+				<h3><?php echo gettext("Libreboot website"); ?></h3>
+					<p>
+<?php
+	for ($server=0; $server<count($lbWebsiteBackupGitRepoAddress); $server++) {
+?>
+						$ <b>git clone <?php echo $lbWebsiteBackupGitRepoAddress[$server]; ?></b>
+						<?php if ($server!=count($lbWebsiteBackupGitRepoAddress)-1) echo "<br/>"; ?>
+<?php
+	}
+?>
+					</p>
+
+			<p><a href="../"><?php echo gettext("Back to home page"); ?></a></p>
+
+	</div>
+
+<?php
+	include "../common/footer.php";
+?>
+
+</body>
+</html>
+<?php
+	$strHtml = ob_get_clean();
+	echo miniHtml($strHtml);
+?>
\ No newline at end of file
diff --git a/site/gpg/index.php b/site/gpg/index.php
new file mode 100644
index 0000000..cba7377
--- /dev/null
+++ b/site/gpg/index.php
@@ -0,0 +1,75 @@
+<?php
+/*
+    Download page
+    Copyright (C) 2015  Francis Rowe <info@gluglug.org.uk>
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Affero General Public License as
+    published by the Free Software Foundation, either version 3 of the
+    License, or (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Affero General Public License for more details.
+
+    You should have received a copy of the GNU Affero General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+*/
+	header('Content-type: text/html; charset=utf-8');
+	ob_start();
+	include_once "../common/variables.php";
+	include_once "../common/functions.php";
+?>
+<!DOCTYPE html>
+<html>
+<head>
+	<style type="text/css">
+		<?php echo miniCss(file_get_contents("../common/css/main.css")); ?>
+	</style>
+	<title><?php echo gettext("GPG signing key"); ?></title>
+</head>
+
+<body>
+
+	<div>
+
+		<h1><?php echo gettext("GPG signing key"); ?></h1>
+
+			<p>
+				<?php echo $lbProjectGpgKeyInfo; ?>
+			</p>
+			<p>
+				<?php echo gettext("Download the key:"); ?><br/>
+				$ <b>gpg --recv-keys <?php echo $lbProjectGpgKeyID; ?></b>
+			</p>
+
+			<p>
+				<?php echo gettext("Download the SHA512 manifest and its corresponding GPG signature, for the release that you are using."); ?>
+				<?php echo gettext("Put the src, util and docs archives in the same directory as the SHA512 manifest file."); ?>
+				<?php echo gettext("Put your ROM image archives under <i>rom/</i> in that directory, and crossgcc tarballs under <i>crossgcc/</i>."); ?>
+			</p>
+			<p>
+				<?php echo gettext("After you've done this, verify the SHA512 checksums:"); ?><br/>
+				$ <b>sha512sum -c sha512sum.txt</b>
+			</p>
+			<p>
+				<?php echo gettext("You can verify the downloaded SHA512 manifest as follows:"); ?><br/>
+				$ <b>gpg --verify sha512sum.txt.sig</b>
+			</p>
+			<p>
+				<a href="../"><?php echo gettext("Back to home page"); ?></a>
+			</p>
+
+	</div>
+
+<?php
+	include "../common/footer.php";
+?>
+
+</body>
+</html>
+<?php
+	$strHtml = ob_get_clean();
+	echo miniHtml($strHtml);
+?>
\ No newline at end of file
diff --git a/site/index.php b/site/index.php
index 927a9ed..ba6de89 100644
--- a/site/index.php
+++ b/site/index.php
@@ -47,10 +47,10 @@
 	<div>
 		<h1><?php echo gettext("Downloads"); ?></h1>
 			<ul>
-				<li><a href="download/#archives"><?php echo gettext("Release archives"); ?></a></li>
-				<li><a href="download/#gpg"><?php echo gettext("GPG"); ?></a></li>
-				<li><a href="download/#mirror">Rsync</a></li>
-				<li><a href="download/#git">Git</a></li>
+				<li><a href="download/"><?php echo gettext("Releases"); ?></a></li>
+				<li><a href="gpg/"><?php echo gettext("GPG"); ?></a></li>
+				<li><a href="rsync/">Rsync</a></li>
+				<li><a href="git/">Git</a></li>
 				<li><a href="<?php echo $lbFirmwareGitwebAddress; ?>"><?php echo gettext("Browse the repository"); ?></a></li>
 			</ul>
 	</div>
diff --git a/site/rsync/index.php b/site/rsync/index.php
new file mode 100644
index 0000000..3e7629c
--- /dev/null
+++ b/site/rsync/index.php
@@ -0,0 +1,66 @@
+<?php
+/*
+    Download page
+    Copyright (C) 2015  Francis Rowe <info@gluglug.org.uk>
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU Affero General Public License as
+    published by the Free Software Foundation, either version 3 of the
+    License, or (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU Affero General Public License for more details.
+
+    You should have received a copy of the GNU Affero General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+*/
+	header('Content-type: text/html; charset=utf-8');
+	ob_start();
+	include_once "../common/variables.php";
+	include_once "../common/functions.php";
+?>
+<!DOCTYPE html>
+<html>
+<head>
+	<style type="text/css">
+		<?php echo miniCss(file_get_contents("../common/css/main.css")); ?>
+	</style>
+	<title><?php echo gettext("Mirroring libreboot"); ?></title>
+</head>
+
+<body>
+
+	<div>
+
+		<h1><?php echo gettext("Mirroring libreboot"); ?></h1>
+			<p>
+				<?php echo gettext("Create a directory in your web directory (e.g. libreboot/) and put one of these in your crontab:"); ?>
+			</p>
+
+			<?php
+				echo rsyncList($lbRsyncServer, gettext("No mirrors available in this range."), 0, count($lbRsyncServer));
+			?>
+
+			<p>
+				<?php echo gettext("Are you running a mirror? Contact the libreboot project, and the link will be added to the <a href='../download/'>download</a> page."); ?>
+			</p>
+			
+			<p>
+				<a href="../"><?php echo gettext("Back to home page"); ?></a>
+			</p>
+
+	</div>
+
+<?php
+	include "../common/ccs.php";
+	include "../common/footer.php";
+?>
+
+</body>
+</html>
+<?php
+	$strHtml = ob_get_clean();
+	echo miniHtml($strHtml);
+?>
\ No newline at end of file