summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-05-28 13:16:25 (EDT)
committer Francis Rowe <info@gluglug.org.uk>2015-05-28 13:16:25 (EDT)
commitcc8723977244cf2b6119ae4b12a981d0c943cf1f (patch)
treee23b95272f7719e275b183af079408a6404a6f1e /site
parent80d440e609c24a57aee36f024e87ab43ddefafae (diff)
downloadlibreboot.org-cc8723977244cf2b6119ae4b12a981d0c943cf1f.zip
libreboot.org-cc8723977244cf2b6119ae4b12a981d0c943cf1f.tar.gz
libreboot.org-cc8723977244cf2b6119ae4b12a981d0c943cf1f.tar.bz2
clean up html on all pages
Diffstat (limited to 'site')
-rw-r--r--site/common/snippets/where-share.php19
-rw-r--r--site/contrib/index.php72
-rw-r--r--site/download/index.php384
-rw-r--r--site/footer.php14
-rw-r--r--site/index.php115
5 files changed, 293 insertions, 311 deletions
diff --git a/site/common/snippets/where-share.php b/site/common/snippets/where-share.php
deleted file mode 100644
index 9ebbc10..0000000
--- a/site/common/snippets/where-share.php
+++ /dev/null
@@ -1,19 +0,0 @@
- <div>
-
- <h2><?php echo gettext("Where should I host and share my code?"); ?></h2>
- <p>
- <?php echo gettext("Here are a few examples:"); ?>
- </p>
- <ul>
- <li>
- <a href="http://git-scm.com/doc"><?php echo gettext("Host your own repositories</a>"); ?>.
- <?php echo gettext("This is exactly what libreboot does, hosted on a machine that is <i>running</i> libreboot!"); ?>
- <?php echo gettext("You can use a frontend like <a href=\"http://git-scm.com/book/en/v2/Git-on-the-Server-GitWeb\">gitweb</a> for easy viewing by others."); ?>
- <?php echo gettext("For code review, you can use an IRC channel, mailing lists and other methods that allow mass collaboration."); ?>
- </li>
- <li>
- <?php echo gettext("Jason Self lists a few replacements on this page: <a href=\"http://jxself.org/goodbye-gitorious.shtml\">http://jxself.org/goodbye-gitorious.shtml</a>"); ?>
- </li>
- </ul>
-
- </div> \ No newline at end of file
diff --git a/site/contrib/index.php b/site/contrib/index.php
index 1ad188a..1b8905c 100644
--- a/site/contrib/index.php
+++ b/site/contrib/index.php
@@ -32,47 +32,47 @@
<body>
- <div>
-
- <h1><?php echo gettext("Libreboot project maintainers"); ?></h1>
+ <div>
- <p>
- <?php echo gettext("List of project maintainers, and how to contact them."); ?>
- <a href="../"><?php echo gettext("Back to home page"); ?></a>
- </p>
+ <h1><?php echo gettext("Libreboot project maintainers"); ?></h1>
- </div>
+ <p>
+ <?php echo gettext("List of project maintainers, and how to contact them."); ?>
+ <a href="../"><?php echo gettext("Back to home page"); ?></a>
+ </p>
- <div>
+ </div>
- <h2>Francis Rowe</h2>
- <p>
- <?php echo gettext("Main developer, manages the libreboot website and git repository."); ?>
- <?php echo gettext("He can be contacted on IRC (freenode) in #libreboot by the alias <b>fchmmr</b>, or you can contact him by his email address <a href=\"mailto:info@gluglug.org.uk\">info@gluglug.org.uk</a> (<a href=\"http://gluglug.org.uk/contact\">GPG</a>)."); ?>
- </p>
- <h2>Michał Masłowski</h2>
- <p>
- <?php echo gettext("Maintains the libreboot bug tracker."); ?>
- <?php echo gettext("Coreboot developer, has ported boards that were added to libreboot."); ?>
- <?php echo gettext("Contact him by his alias <b>mtjm</b> on the libreboot IRC channel, or find contact information (including GPG keys) on his website <a href=\"http://mtjm.eu/\">http://mtjm.eu/</a>"); ?>
- </p>
- <h2>Patrick &quot;P. J.&quot; McDermott</h2>
- <p>
- <?php echo gettext("<a href=\"http://proteanos.com/\">ProteanOS</a> maintainer, responsible for maintaining ProteanOS builds on many libreboot targets."); ?>
- <?php echo gettext("His alias on the libreboot IRC channel is <b>pehjota</b>, or you can find contact information on the <a href=\"http://proteanos.com/contact/\">ProteanOS website</a>."); ?>
- </p>
- <h2>Lisa Maginnis</h2>
- <p>
- <?php echo gettext("<a href=\"https://fsf.org/\">FSF</a> sysadmin, responsible for maintaining the libreboot and libreboot-dev mailing lists."); ?>
- <?php echo gettext("Contact <b>nully</b> in the libreboot IRC channel."); ?>
- </p>
- <h2>Steve Shenton</h2>
- <p>
- <?php echo gettext("Wrote the original ich9deblob utility (ich9gen is based on it), which was used to <a href=\"../docs/hcl/gm45_remove_me.html\">remove the ME</a> on ICH9-M laptops (originally the ThinkPad X200, and later expanded to more laptops)."); ?>
- <?php echo gettext("Contact <b>sgsit</b> on the libreboot IRC channel."); ?>
- </p>
+ <div>
+
+ <h2>Francis Rowe</h2>
+ <p>
+ <?php echo gettext("Main developer, manages the libreboot website and git repository."); ?>
+ <?php echo gettext("He can be contacted on IRC (freenode) in #libreboot by the alias <b>fchmmr</b>, or you can contact him by his email address <a href=\"mailto:info@gluglug.org.uk\">info@gluglug.org.uk</a> (<a href=\"http://gluglug.org.uk/contact\">GPG</a>)."); ?>
+ </p>
+ <h2>Michał Masłowski</h2>
+ <p>
+ <?php echo gettext("Maintains the libreboot bug tracker."); ?>
+ <?php echo gettext("Coreboot developer, has ported boards that were added to libreboot."); ?>
+ <?php echo gettext("Contact him by his alias <b>mtjm</b> on the libreboot IRC channel, or find contact information (including GPG keys) on his website <a href=\"http://mtjm.eu/\">http://mtjm.eu/</a>"); ?>
+ </p>
+ <h2>Patrick &quot;P. J.&quot; McDermott</h2>
+ <p>
+ <?php echo gettext("<a href=\"http://proteanos.com/\">ProteanOS</a> maintainer, responsible for maintaining ProteanOS builds on many libreboot targets."); ?>
+ <?php echo gettext("His alias on the libreboot IRC channel is <b>pehjota</b>, or you can find contact information on the <a href=\"http://proteanos.com/contact/\">ProteanOS website</a>."); ?>
+ </p>
+ <h2>Lisa Maginnis</h2>
+ <p>
+ <?php echo gettext("<a href=\"https://fsf.org/\">FSF</a> sysadmin, responsible for maintaining the libreboot and libreboot-dev mailing lists."); ?>
+ <?php echo gettext("Contact <b>nully</b> in the libreboot IRC channel."); ?>
+ </p>
+ <h2>Steve Shenton</h2>
+ <p>
+ <?php echo gettext("Wrote the original ich9deblob utility (ich9gen is based on it), which was used to <a href=\"../docs/hcl/gm45_remove_me.html\">remove the ME</a> on ICH9-M laptops (originally the ThinkPad X200, and later expanded to more laptops)."); ?>
+ <?php echo gettext("Contact <b>sgsit</b> on the libreboot IRC channel."); ?>
+ </p>
- </div>
+ </div>
<?php
include "../footer.php";
diff --git a/site/download/index.php b/site/download/index.php
index 06cbabd..f728182 100644
--- a/site/download/index.php
+++ b/site/download/index.php
@@ -32,251 +32,251 @@
<body>
- <div>
-
- <h1><?php echo gettext("Download libreboot"); ?></h1>
+ <div>
- <p><?php echo gettext("Links to HTTP mirrors, rsync mirrors and git repositories. Download libreboot here."); ?></p>
+ <h1><?php echo gettext("Download libreboot"); ?></h1>
- <ul>
- <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>
-
- <p>
- <a href="../"><?php echo gettext("Back to home page"); ?></a>
- </p>
+ <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("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>
+
+ <p>
+ <a href="../"><?php echo gettext("Back to home page"); ?></a>
+ </p>
+
+ </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, and put them in a directory."); ?>
+ <?php echo gettext("Put the src, util and docs archives in the root of that directory, alongside the SHA512 manifest file."); ?>
+ <?php echo gettext("Put your ROM image archives under <i>rom/</i> in that directory."); ?>
+ <?php echo gettext("Put your crossgcc tarballs under <i>crossgcc/</i> in that directory."); ?>
+ </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("Archived releases"); ?></h1>
+
+ <p>
+ <?php echo gettext("These releases are more rigorously tested."); ?>
+ <?php echo gettext("However, they might be out of date compared to the current development snapshots."); ?>
+ </p>
+
+ <p>
+ <?php echo gettext("Download libreboot from one of these mirrors."); ?>
+ </p>
+
+ <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>
+ </p>
+
+ <h2 id="http">HTTP mirrors</h2>
+<?php
+ /* show HTTP mirrors */
+ echo mirrorList($lbHttpMirror, gettext("HTTP mirrors not added yet."),0,count($lbHttpMirror));
+?>
+ <h2 id="ftp">FTP mirrors</h2>
+<?php
+ /* show FTP mirrors */
+ echo mirrorList($lbFtpMirror,gettext("FTP mirrors not added yet."),0,count($lbFtpMirror));
+?>
+
+ </div>
+
+ <div id="mirror">
- </div>
-
- <div id="gpg">
-
- <h1><?php echo gettext("GPG signing key"); ?></h1>
+ <h1><?php echo gettext("Mirroring libreboot (via rsync)"); ?></h1>
+ <p>
+ <?php echo gettext("Create a directory in your web server document root (e.g. libreboot/), and add one of these to 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 (details are on the home page), and the link will be added on this page."); ?>
+ </p>
+
+ </div>
+
+ <div id="git">
+
+ <h1><?php echo gettext("Git repositories (development)"); ?></h1>
+
+ <p>
+ <?php echo gettext("The git repositories are intended for developing libreboot."); ?>
+ <?php echo gettext("For a list of current tasks in libreboot, see:"); ?> <a href="../docs/tasks.html">../docs/tasks.html</a>.
+ </p>
+
+ <p>
+ <?php echo gettext("Maintenance guides for libreboot 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 $lbProjectGpgKeyInfo; ?>
+ <?php echo gettext("Firmware (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("Download the key:"); ?><br/>
- $ <b>gpg --recv-keys <?php echo $lbProjectGpgKeyID; ?></b>
+ <?php echo gettext("Libreboot website. <i>The documentation is in the other repository linked above</i>:"); ?><br/>
+ $ <b>git clone <a href="<?php echo $lbWebsiteGitwebAddress; ?>"><?php echo $lbWebsiteGitRepoAddress; ?></a></b>
</p>
-
<p>
- <?php echo gettext("Download the SHA512 manifest and its corresponding GPG signature for the release that you are using, and put them in a directory."); ?>
- <?php echo gettext("Put the src, util and docs archives in the root of that directory, alongside the SHA512 manifest file."); ?>
- <?php echo gettext("Put your ROM image archives under <i>rom/</i> in that directory."); ?>
- <?php echo gettext("Put your crossgcc tarballs under <i>crossgcc/</i> in that directory."); ?>
+ <?php echo gettext("You might not see a progress bar; it's still cloning, so just be patient."); ?>
</p>
+ <ul>
+ <li><a href="http://projects.mtjm.eu/projects/libreboot"><?php echo gettext("Bug tracker"); ?></a></li>
+ </ul>
+
+ <h2 id="contrib"><?php echo gettext("Submitting patches to libreboot"); ?></h3>
<p>
- <?php echo gettext("After you've done this, verify the SHA512 checksums:"); ?><br/>
- $ <b>sha512sum -c sha512sum.txt</b>
+ <?php echo gettext("The <a href=\"http://git-scm.com/doc\">git documentation</a> describes how to use git."); ?>
</p>
<p>
- <?php echo gettext("You can verify the downloaded SHA512 manifest as follows:"); ?><br/>
- $ <b>gpg --verify sha512sum.txt.sig</b>
+ <?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>
-
- </div>
-
- <div id="archives">
-
- <h1><?php echo gettext("Archived releases"); ?></h1>
-
<p>
- <?php echo gettext("These releases are more rigorously tested."); ?>
- <?php echo gettext("However, they might be out of date compared to the current development snapshots."); ?>
+ <?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("Download libreboot from one of these mirrors."); ?>
+ <?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>
- <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>
+ <?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>
- <h2 id="http">HTTP mirrors</h2>
-<?php
- /* show HTTP mirrors */
- echo mirrorList($lbHttpMirror, gettext("HTTP mirrors not added yet."),0,count($lbHttpMirror));
-?>
- <h2 id="ftp">FTP mirrors</h2>
-<?php
- /* show FTP mirrors */
- echo mirrorList($lbFtpMirror,gettext("FTP mirrors not added yet."),0,count($lbFtpMirror));
-?>
-
- </div>
-
- <div id="mirror">
+ <div>
- <h1><?php echo gettext("Mirroring libreboot (via rsync)"); ?></h1>
<p>
- <?php echo gettext("Create a directory in your web server document root (e.g. libreboot/), and add one of these to your crontab:"); ?>
+ <?php echo gettext("If you are modifying an existing file, 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."); ?><br/>
+ <?php echo gettext("Example: <i>Copyright (C) 20XX John Doe &lt;john@doe.com&gt;</i>"); ?>
+ </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>
- <?php
- echo rsyncList($lbRsyncServer, gettext("No mirrors available in this range."), 0, count($lbRsyncServer));
- ?>
+ </div>
+
+ <div>
<p>
- <?php echo gettext("Are you running a mirror? Contact the libreboot project (details are on the home page), and the link will be added on this page."); ?>
+ <?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>
-
- </div>
-
- <div id="git">
-
- <h1><?php echo gettext("Git repositories (development)"); ?></h1>
-
<p>
- <?php echo gettext("The git repositories are intended for developing libreboot."); ?>
- <?php echo gettext("For a list of current tasks in libreboot, see:"); ?> <a href="../docs/tasks.html">../docs/tasks.html</a>.
+ <?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("Maintenance guides for libreboot 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>."); ?>
+ <?php echo gettext("In your local git tree, you can use this to check your commits:"); ?><br/>
+ $ <b>git log</b>
</p>
-
- <h2><?php echo gettext("How to download"); ?></h2>
- <p>
- <?php echo gettext("Firmware (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("Libreboot website. <i>The documentation is in the other repository linked above</i>:"); ?><br/>
- $ <b>git clone <a href="<?php echo $lbWebsiteGitwebAddress; ?>"><?php echo $lbWebsiteGitRepoAddress; ?></a></b>
- </p>
- <p>
- <?php echo gettext("You might not see a progress bar; it's still cloning, so just be patient."); ?>
- </p>
- <ul>
- <li><a href="http://projects.mtjm.eu/projects/libreboot"><?php echo gettext("Bug tracker"); ?></a></li>
- </ul>
-
- <h2 id="contrib"><?php echo gettext("Submitting patches to libreboot"); ?></h3>
- <p>
- <?php echo gettext("The <a href=\"http://git-scm.com/doc\">git documentation</a> describes how to use 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, 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."); ?><br/>
- <?php echo gettext("Example: <i>Copyright (C) 20XX John Doe &lt;john@doe.com&gt;</i>"); ?>
- </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("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("In your local git tree, you can use this to check your commits:"); ?><br/>
- $ <b>git log</b>
+ <?php echo gettext("One way of contribiting a patch for review is to host a repository containing your modified branch. Give the checkout details to the libreboot project, along with information on which commits in what branch contain your changes. Contact the libreboot project using the details on the home page."); ?>
</p>
+ <h3><?php echo gettext("Method 2: git format-patch -N"); ?></h3>
<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."); ?>
+ <?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. Contact the libreboot project using the details on the home page."); ?>
</p>
- <h3><?php echo gettext("Method 1: host a repository"); ?></h3>
- <p>
- <?php echo gettext("One way of contribiting a patch for review is to host a repository containing your modified branch. Give the checkout details to the libreboot project, along with information on which commits in what branch contain your changes. Contact the libreboot project using the details on the home page."); ?>
- </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. Contact the libreboot project using the details on the home page."); ?>
- </p>
-
- <h2 id="gitbackup"><?php echo gettext("Backup repositories"); ?></h2>
+
+ <h2 id="gitbackup"><?php echo gettext("Backup repositories"); ?></h2>
+ <p>
+ <?php echo gettext("Generally speaking, you should use the main repositories. These repositories are provided as backups, in case the main repositories are down."); ?>
+ </p>
+
+ <h3><?php echo gettext("Firmware (coreboot distribution)"); ?></h3>
<p>
- <?php echo gettext("Generally speaking, you should use the main repositories. These repositories are provided as backups, in case the main repositories are down."); ?>
- </p>
-
- <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/>"; ?>
+ $ <b>git clone <?php echo $lbFirmwareBackupGitRepoAddress[$server]; ?></b>
+ <?php if ($server!=count($lbFirmwareBackupGitRepoAddress)-1) echo "<br/>"; ?>
<?php
}
?>
- </p>
+ </p>
- <h3><?php echo gettext("Libreboot website"); ?></h3>
- <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/>"; ?>
+ $ <b>git clone <?php echo $lbWebsiteBackupGitRepoAddress[$server]; ?></b>
+ <?php if ($server!=count($lbWebsiteBackupGitRepoAddress)-1) echo "<br/>"; ?>
<?php
}
?>
- </p>
-
- </div>
+ </p>
- <div id="trisquel">
+ </div>
- <p>
- <?php echo gettext("Libreboot includes statically linked executables of utilities built from the libreboot source code. These are built on in Trisquel GNU/Linux. There were links to the Trisquel source ISO here, as a lazy way to provide CCS, but this was inefficient. Archives for only those dependencies that comprise the CCS will be added here later instead. If you need CCS, for now simply contact the libreboot project using the details on the home page, and the source for the version of Trisquel used to build that release (whichever version it is) will be provided. You can also get it on the Trisquel website."); ?>
- </p>
+ <div id="trisquel">
+
+ <p>
+ <?php echo gettext("Libreboot includes statically linked executables of utilities built from the libreboot source code. These are built on in Trisquel GNU/Linux. There were links to the Trisquel source ISO here, as a lazy way to provide CCS, but this was inefficient. Archives for only those dependencies that comprise the CCS will be added here later instead. If you need CCS, for now simply contact the libreboot project using the details on the home page, and the source for the version of Trisquel used to build that release (whichever version it is) will be provided. You can also get it on the Trisquel website."); ?>
+ </p>
- </div>
+ </div>
<?php
include "../footer.php";
diff --git a/site/footer.php b/site/footer.php
index d8746d2..cba9f6d 100644
--- a/site/footer.php
+++ b/site/footer.php
@@ -17,11 +17,11 @@
along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
?>
- <div>
- <p>
- <?php echo gettext("This page is released under <a href=\"https://www.gnu.org/licenses/agpl-3.0.html\">GNU AGPLv3 or higher</a>, and available in a git repository:"); ?> <a href="<?php echo $lbWebsiteGitwebAddress; ?>"><?php echo gettext("browse the repository"); ?></a>.
- </p>
- <p>
+ <div>
+ <p>
+ <?php echo gettext("This page is released under <a href=\"https://www.gnu.org/licenses/agpl-3.0.html\">GNU AGPLv3 or higher</a>, and available in a git repository:"); ?> <a href="<?php echo $lbWebsiteGitwebAddress; ?>"><?php echo gettext("browse the repository"); ?></a>.
+ </p>
+ <p>
<?php echo gettext("This website is hosted on a libreboot system, running a <a href=\"https://www.gnu.org/distros/\">fully libre GNU/Linux distribution</a>."); ?>
- </p>
- </div>
+ </p>
+ </div>
diff --git a/site/index.php b/site/index.php
index 5051fe9..66e6219 100644
--- a/site/index.php
+++ b/site/index.php
@@ -32,64 +32,65 @@
<body>
- <div>
- <p>
- <img src="logo/logo-small.png" alt="" title="<?php include "logo/license.txt"; ?>" />
- </p>
- <h1><?php echo gettext("Libreboot project"); ?></h1>
- <p>
- <?php
+ <div>
+ <p>
+ <img src="logo/logo-small.png" alt="" title="<?php include "logo/license.txt"; ?>" />
+ </p>
+ <h1><?php echo gettext("Libreboot project"); ?></h1>
+ <p>
+ <?php
echo gettext("Libreboot is a <a href=\"https://www.fsf.org/about/what-is-free-software\">free</a> (libre) BIOS/UEFI replacement for your computer. Based on <a href=\"http://coreboot.org/\">coreboot</a>, the aim is to distribute low-level boot firmware that is 100% free software, and to make coreboot easy to use.");
- ?>
- </p>
- <ul>
- <li><a href="docs/index.html#why"><?php echo gettext("Why should I use libreboot?"); ?></a></li>
- <li><a href="download/#git"><?php echo gettext("How to contribute"); ?></a></li>
- <li><a href="docs/tasks.html"><?php echo gettext("List of tasks"); ?></a></li>
- <li><a href="download/#mirror"><?php echo gettext("Mirroring libreboot"); ?></a></li>
- </ul>
- </div>
-
- <div>
- <h1><?php echo gettext("Download libreboot"); ?></h1>
- <ul>
- <li><a href="git/rom"><?php echo gettext("ROM images"); ?></a></li>
- <li><a href="git/libreboot_util.tar.xz"><?php echo gettext("Utilities"); ?></a></li>
- <li><a href="git/libreboot_docs.tar.xz"><?php echo gettext("Documentation (archived)"); ?></a></li>
- <li><a href="git/libreboot_src.tar.xz"><?php echo gettext("Source code"); ?></a></li>
- <li><a href="git/crossgcc/">crossgcc</a></li>
- <li><?php echo gettext("...based on "); ?><a href="<?php echo $lbFirmwareGitwebAddress; ?>;a=commit;h=<?php include "git/commitid"; ?>"><?php echo gettext("this"); ?></a><?php echo gettext(" commit"); ?></li>
- </ul>
- <ul>
- <li><a href="git/release.html"><?php echo gettext("List of changes"); ?></a></li>
- <li><a href="git/sha512sum.txt"><?php echo gettext("SHA512 manifest"); ?></a></li>
- <li><a href="git/sha512sum.txt.sig"><?php echo gettext("SHA512 manifest (GPG signature)"); ?></a></li>
- <li><a href="download/#gpg"><?php echo gettext("How to use GPG"); ?></a></li>
- </ul>
-
- <ul>
- <li><?php echo gettext("Other resources:"); ?></li>
- <li><a href="download/#archives"><?php echo gettext("Archived releases"); ?></a></li>
- <li><a href="download/#git"><?php echo gettext("Git repositories"); ?></a></li>
- <li><a href="<?php echo $lbFirmwareGitwebAddress; ?>"><?php echo gettext("Browse the main git repository"); ?></a></li>
- </ul>
- </div>
- <div>
- <h1><?php echo gettext("Useful information"); ?></h1>
- <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("List of supported systems"); ?></a></li>
- <li><a href="docs/install/index.html"><?php echo gettext("How to install libreboot"); ?></a></li>
- <li><a href="docs/gnulinux/index.html"><?php echo gettext("How to install GNU/Linux"); ?></a></li>
- </ul>
- <h2><?php echo gettext("Contact details"); ?></h2>
- <ul>
- <li><a href="contrib/"><?php echo gettext("List of maintainers"); ?></a></li>
- <li><a href="<?php echo $userMailingListAddress; ?>"><?php echo gettext("User support mailing list"); ?></a></li>
- <li><a href="<?php echo $devMailingListAddress; ?>"><?php echo gettext("Development mailing list"); ?></a></li>
- <li><a href="<?php echo $ircChannelAddress; ?>"><?php echo $ircChannelName; ?></a></li>
- </ul>
- </div>
+ ?>
+ </p>
+ <ul>
+ <li><a href="docs/index.html#why"><?php echo gettext("Why should I use libreboot?"); ?></a></li>
+ <li><a href="download/#git"><?php echo gettext("How to contribute"); ?></a></li>
+ <li><a href="docs/tasks.html"><?php echo gettext("List of tasks"); ?></a></li>
+ <li><a href="download/#mirror"><?php echo gettext("Mirroring libreboot"); ?></a></li>
+ </ul>
+ </div>
+
+ <div>
+ <h1><?php echo gettext("Download libreboot"); ?></h1>
+ <ul>
+ <li><a href="git/rom"><?php echo gettext("ROM images"); ?></a></li>
+ <li><a href="git/libreboot_util.tar.xz"><?php echo gettext("Utilities"); ?></a></li>
+ <li><a href="git/libreboot_docs.tar.xz"><?php echo gettext("Documentation (archived)"); ?></a></li>
+ <li><a href="git/libreboot_src.tar.xz"><?php echo gettext("Source code"); ?></a></li>
+ <li><a href="git/crossgcc/">crossgcc</a></li>
+ <li><?php echo gettext("...based on "); ?><a href="<?php echo $lbFirmwareGitwebAddress; ?>;a=commit;h=<?php include "git/commitid"; ?>"><?php echo gettext("this"); ?></a><?php echo gettext(" commit"); ?></li>
+ </ul>
+ <ul>
+ <li><a href="git/release.html"><?php echo gettext("List of changes"); ?></a></li>
+ <li><a href="git/sha512sum.txt"><?php echo gettext("SHA512 manifest"); ?></a></li>
+ <li><a href="git/sha512sum.txt.sig"><?php echo gettext("SHA512 manifest (GPG signature)"); ?></a></li>
+ <li><a href="download/#gpg"><?php echo gettext("How to use GPG"); ?></a></li>
+ </ul>
+
+ <ul>
+ <li><?php echo gettext("Other resources:"); ?></li>
+ <li><a href="download/#archives"><?php echo gettext("Archived releases"); ?></a></li>
+ <li><a href="download/#git"><?php echo gettext("Git repositories"); ?></a></li>
+ <li><a href="<?php echo $lbFirmwareGitwebAddress; ?>"><?php echo gettext("Browse the main git repository"); ?></a></li>
+ </ul>
+ </div>
+
+ <div>
+ <h1><?php echo gettext("Useful information"); ?></h1>
+ <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("List of supported systems"); ?></a></li>
+ <li><a href="docs/install/index.html"><?php echo gettext("How to install libreboot"); ?></a></li>
+ <li><a href="docs/gnulinux/index.html"><?php echo gettext("How to install GNU/Linux"); ?></a></li>
+ </ul>
+ <h2><?php echo gettext("Contact details"); ?></h2>
+ <ul>
+ <li><a href="contrib/"><?php echo gettext("List of maintainers"); ?></a></li>
+ <li><a href="<?php echo $userMailingListAddress; ?>"><?php echo gettext("User support mailing list"); ?></a></li>
+ <li><a href="<?php echo $devMailingListAddress; ?>"><?php echo gettext("Development mailing list"); ?></a></li>
+ <li><a href="<?php echo $ircChannelAddress; ?>"><?php echo $ircChannelName; ?></a></li>
+ </ul>
+ </div>
<?php
include "footer.php";