summaryrefslogtreecommitdiffstats
path: root/docs/maintain
diff options
context:
space:
mode:
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>