diff options
Diffstat (limited to 'site/download')
| -rw-r--r-- | site/download/index.php | 16 |
1 files changed, 5 insertions, 11 deletions
diff --git a/site/download/index.php b/site/download/index.php index cc63ec9..f33d940 100644 --- a/site/download/index.php +++ b/site/download/index.php @@ -165,17 +165,7 @@ <p> The git repositories are intended for developing <?php echo $lbProjectName; ?>. </p> - - <p> - Snapshots (preview releases) of the git repository can be found at - <a href="../git/">../git/</a>. - </p> - <p> - Documentation for <?php echo $lbProjectName; ?> from git can be found in - the git repository itself (under /docs/), or a live version - can be found at <a href="../docs/index.html">../docs/index.html</a>. - </p> - + <h2>How to download</h2> <p> Firmware (coreboot distribution):<br/> @@ -201,6 +191,10 @@ For a list of current tasks in <?php echo $lbProjectName; ?>, see <a href="../docs/tasks.html">../docs/tasks.html</a>. </p> <p> + Maintenance guides for <?php echo $lbProjectName; ?></php></php> can be found <a href="../docs/maintain/index.html">here</a> + and <a href="../docs/git/index.html">here</a>. + </p> + <p> 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 "Your Name"</b><br/> |