From f94fb1b5226781551051daa3761919346e8c4b3e Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Sun, 7 Jun 2015 03:05:02 +0100
Subject: Replace rm -r with rm -R

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

(limited to 'docs/maintain')

diff --git a/docs/maintain/index.html b/docs/maintain/index.html
index a8cc0a56..57798010 100644
--- a/docs/maintain/index.html
+++ b/docs/maintain/index.html
@@ -130,7 +130,7 @@
 			<p>
 				If you already had a coreboot/ directory in your libreboot
 				tree, delete it:<br/>
-				$ <b>rm -rf coreboot/</b>
+				$ <b>rm -Rf coreboot/</b>
 			</p>
 
 			<p>
@@ -151,7 +151,7 @@
 			</p>
 			<p>
 				Delete the .git* resources. For example:<br/>
-				$ <b>rm -rf .git*</b><br/>
+				$ <b>rm -Rf .git*</b><br/>
 				...this is to avoid the deblobbing script from picking up files
 				in there as blobs, which would be only false positives and
 				increase the amount of time taken. Now come out of coreboot:<br/>
@@ -219,7 +219,7 @@
 
 			<p>
 				Now delete the coreboot directory:<br/>
-				$ <b>rm -rf coreboot/</b>
+				$ <b>rm -Rf coreboot/</b>
 			</p>
 
 			<p>
@@ -403,7 +403,7 @@
 		<h1 id="updating_grub">Updating GRUB</h1>
 
 			<p>
-				$ <b>rm -rf grub/</b><br/>
+				$ <b>rm -Rf grub/</b><br/>
 				$ <b>git clone git://git.savannah.gnu.org/grub.git</b><br/>
 				$ <b>cd grub/</b><br/>
 				$ <b>git log</b>
-- 
cgit v1.2.3-70-g09d2