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

---
(limited to 'docs')

diff --git a/docs/index.html b/docs/index.html
index 2784128..b4562b7 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 0659f35..234e99a 100644
--- a/docs/tasks.html
+++ b/docs/tasks.html
@@ -342,20 +342,6 @@
 	</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>
 				<li>Patch the coreboot build system, so that version information is still reliably generated
--
cgit v0.9.1