From 9918bfbd73024914207775c3bdbd2ffc40942d37 Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Wed, 7 Oct 2015 21:02:40 +0100
Subject: docs/tasks.html: tidy up

---
 docs/index.html |  5 ++---
 docs/tasks.html | 14 --------------
 2 files changed, 2 insertions(+), 17 deletions(-)

(limited to 'docs')

diff --git a/docs/index.html b/docs/index.html
index 27841288..b4562b72 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -78,9 +78,8 @@
 				Libreboot has many practical advantages over <a href="https://gnu.org/philosophy/proprietary/">proprietary</a> boot firmware, 
 				such as faster boot speeds and better security. You can
 				<a href="gnulinux/index.html">install GNU/Linux with encrypted /boot/</a>,
-				<a href="http://www.coreboot.org/GRUB2#signed_kernels">verify GPG signatures on your kernel</a>, 
-				run a <a href="http://proteanos.com/">full operating system</a> directly
-				from the flash chip (planned for a future release), and more.
+				<a href="http://www.coreboot.org/GRUB2#signed_kernels">verify GPG signatures on your kernel</a>,
+				put a kernel in the flash chip and more.
 			</p>
 
 			<h2>
diff --git a/docs/tasks.html b/docs/tasks.html
index 0659f359..234e99ae 100644
--- a/docs/tasks.html
+++ b/docs/tasks.html
@@ -341,20 +341,6 @@
 			<p><a href="#pagetop">Back to top of page.</a></p>
 	</div>
 
-	<div class="section">
-		<h1>Payloads</h1>
-			<ul>
-				<li>
-					Add ProteanOS payload to systems with big enough flash chips. (eg X200/R400).
-					This page (outdated, but still useful according to the maintainer) has some info:
-					<a href="http://www.proteanos.com/doc/plat/porting/">http://www.proteanos.com/doc/plat/porting/</a>.
-					pehjota says that once the port is done, prokit can be modified to generate the entire
-					distribution as a vmlinuz and initrd.img file.
-				</li>
-			</ul>
-			<p><a href="#pagetop">Back to top of page.</a></p>
-	</div>
-
 	<div class="section">
 		<h1>Build system</h1>
 			<ul>
-- 
cgit v1.2.3-70-g09d2