summaryrefslogtreecommitdiffstats
path: root/site/index.php
diff options
context:
space:
mode:
Diffstat (limited to 'site/index.php')
-rw-r--r--site/index.php5
1 files changed, 3 insertions, 2 deletions
diff --git a/site/index.php b/site/index.php
index 4b83dfe..f4e6db4 100644
--- a/site/index.php
+++ b/site/index.php
@@ -25,7 +25,7 @@
<html>
<head>
<link rel="stylesheet" type="text/css" href="common/css/main.css" />
- <title><?php echo gettext("Libreboot project"); ?></title>
+ <title><?php echo gettext("GNU Libreboot"); ?></title>
</head>
<body>
@@ -34,13 +34,14 @@
<p>
<a href="logo/"><img src="logo/logo.svg" alt="Libreboot logo" title="Canteloupe, the libreboot mascot" style="width:25%;float:right" /></a>
</p>
- <h1><?php echo gettext("Libreboot project"); ?></h1>
+ <h1><?php echo gettext("GNU Libreboot"); ?></h1>
<p>
Libreboot is a free BIOS or UEFI replacement (<a href="https://www.gnu.org/philosophy/free-sw.html">free as in freedom</a>);
libre <em>boot firmware</em> that initializes the hardware and starts a bootloader for your operating
system.
It's also an open source BIOS, but open source <a href="https://www.gnu.org/philosophy/open-source-misses-the-point.html">fails</a> to
promote freedom; <em>please call libreboot <strong><a href="https://www.gnu.org/philosophy/free-sw.html">free software</a></strong></em>.
+ Since 14 May 2016, Libreboot is part of the <a href="https://www.gnu.org/">GNU project</a>.
</p>
<p>
<strong>Libreboot is working on a new release, and we need help. See <a href="download/#tasks">download/#tasks</a></strong>