summaryrefslogtreecommitdiffstats
path: root/docs/maintain
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-06-06 22:05:02 (EDT)
committer Francis Rowe <info@gluglug.org.uk>2015-06-06 22:05:02 (EDT)
commitf94fb1b5226781551051daa3761919346e8c4b3e (patch)
tree9b0da490373654df8890af8c77e91a3597f3a6cf /docs/maintain
parent52b05b1595415f60cf8a73931db23cf500f0956b (diff)
downloadlibreboot-f94fb1b5226781551051daa3761919346e8c4b3e.zip
libreboot-f94fb1b5226781551051daa3761919346e8c4b3e.tar.gz
libreboot-f94fb1b5226781551051daa3761919346e8c4b3e.tar.bz2
Replace rm -r with rm -R
Diffstat (limited to 'docs/maintain')
-rw-r--r--docs/maintain/index.html8
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/maintain/index.html b/docs/maintain/index.html
index a8cc0a5..5779801 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>