diff options
-rw-r--r-- | site/git/index.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/site/git/index.php b/site/git/index.php index 55b0dff..cc2ca63 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -46,14 +46,14 @@ </p> <h2><?php echo gettext("How to download"); ?></h2> + <h3><?php echo gettext("Coreboot distribution. <i>This also contains the documentation</i>:"); ?></h3> <p> - <?php echo gettext("Coreboot distribution. <i>This also contains the documentation</i>:"); ?><br/> - $ <b>git clone <?php echo $lbFirmwareGitRepoAddress; ?></b><br/> + <b>git clone <?php echo $lbFirmwareGitRepoAddress; ?></b><br/> <a href="<?php echo $lbFirmwareGitwebAddress; ?>">Browse repository via web</a> </p> + <h3><?php echo gettext("Website. <i>Documentation is in the other repository</i>:"); ?></h3> <p> - <?php echo gettext("Website. <i>Documentation is in the other repository</i>:"); ?><br/> - $ <b>git clone <?php echo $lbWebsiteGitRepoAddress; ?></b><br/> + <b>git clone <?php echo $lbWebsiteGitRepoAddress; ?></b><br/> <a href="<?php echo $lbWebsiteGitwebAddress; ?>">Browse repository via web</a> </p> |