From 1d21ed807727332dee803db5aec0ba087621b651 Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Sat, 11 Apr 2015 13:08:54 +0100
Subject: docs/maintain/index.html(coreboot): Tell user to delete coreboot/

---
 docs/maintain/index.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/maintain/index.html b/docs/maintain/index.html
index 10c06523..fb47bcd9 100644
--- a/docs/maintain/index.html
+++ b/docs/maintain/index.html
@@ -66,6 +66,12 @@
 					<li>resources/scripts/helpers/build/roms/withgrub</li>
 				</ul>
 				
+			<p>
+				If you already had a coreboot/ directory in your libreboot
+				tree, delete it:<br/>
+				$ <b>rm -rf coreboot/</b>
+			</p>
+				
 			<p>
 				Firstly, download coreboot. Do <b>not</b> use <b>./download coreboot</b>
 				for this, just clone coreboot, as it does in that script, like so:<br/>
-- 
cgit v1.2.3-70-g09d2