diff options
Diffstat (limited to 'site/footer.php')
| -rw-r--r-- | site/footer.php | 14 |
1 files changed, 7 insertions, 7 deletions
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> |