aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/index.html9
1 files changed, 4 insertions, 5 deletions
diff --git a/docs/index.html b/docs/index.html
index fc4e3dc8..cd834a33 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -8,13 +8,13 @@
@import url('css/main.css');
</style>
- <title>GNU Libreboot documentation</title>
+ <title>Libreboot project documentation</title>
</head>
<body>
<div class="section">
- <h1 id="pagetop">GNU Libreboot documentation</h1>
+ <h1 id="pagetop">Libreboot documentation</h1>
<p>
Information about this release can be found at <a href="release.html">release.html</a>.
Always check <a href="http://libreboot.org">libreboot.org</a> for updates.
@@ -23,7 +23,7 @@
<a href="#why">What is libreboot?</a>
</p>
<p>
- <a href="https://libreboot.org/faq/">Answers to frequently asked questions about GNU Libreboot</a>
+ <a href="https://libreboot.org/faq/">Answers to frequently asked questions about Libreboot</a>
</p>
</div>
@@ -54,12 +54,11 @@
<h1>About the libreboot project</h1>
<p>
- GNU Libreboot is a free BIOS or UEFI replacement (<a href="https://www.gnu.org/philosophy/free-sw.html">free as in freedom</a>);
+ 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>