diff options
Diffstat (limited to 'site/download/index.php')
| -rw-r--r-- | site/download/index.php | 61 |
1 files changed, 30 insertions, 31 deletions
diff --git a/site/download/index.php b/site/download/index.php index 22ddc48..2dc260a 100644 --- a/site/download/index.php +++ b/site/download/index.php @@ -35,15 +35,15 @@ <body> - <div class="contain"> + <div class="c"> - <div id="libreboot" class="section intro"> + <div id="libreboot" class="s"> <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 class="ulnav"> + <ul class="l"> <li><a href="#http"><?php echo gettext("HTTP mirrors"); ?></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> @@ -55,7 +55,7 @@ </div> - <div class="section" id="gpg"> + <div class="s" id="gpg"> <h1 id="gpg"><?php echo gettext("GPG signing key"); ?></h1> @@ -84,7 +84,7 @@ </div> - <div class="section" id="http"> + <div class="s" id="http"> <h1><?php echo gettext("HTTP mirrors (releases)"); ?></h1> @@ -160,7 +160,7 @@ </div> - <div class="section" id="git"> + <div class="s" id="git"> <h1><?php echo gettext("Git repositories (development)"); ?></h1> @@ -185,7 +185,7 @@ <p> <?php echo gettext("You might not see a progress bar; it's still cloning, so just be patient."); ?> </p> - <ul class="ulnav"> + <ul class="l"> <li><b><a href="../github/"><?php echo gettext("Please do not use GitHub!"); ?></a></b></li> <li><b><a href="../gitorious/"><?php echo gettext("Please do not use Gitorious/GitLab!"); ?></a></b></li> <li><a href="http://projects.mtjm.eu/projects/libreboot"><?php echo gettext("Bug tracker"); ?></a></li> @@ -217,26 +217,29 @@ <?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 class="subsection"> - - <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 <john@doe.com></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 class="s"> + + <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 <john@doe.com></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 class="s"> <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/> @@ -300,7 +303,7 @@ </div> - <div class="section" id="trisquel"> + <div class="s" 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."); ?> @@ -308,13 +311,9 @@ </div> - <div class="section footer"> - <?php include "../footer.php"; ?> - - </div> </div> |