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

---
(limited to 'docs/maintain')

diff --git a/docs/maintain/index.html b/docs/maintain/index.html
index 10c0652..fb47bcd 100644
--- a/docs/maintain/index.html
+++ b/docs/maintain/index.html
@@ -67,6 +67,12 @@
 				</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/>
 				$ <b>git clone http://review.coreboot.org/coreboot</b>
--
cgit v0.9.1