From f94fb1b5226781551051daa3761919346e8c4b3e Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Sat, 06 Jun 2015 22:05:02 -0400 Subject: Replace rm -r with rm -R --- (limited to 'docs/maintain') 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 @@

If you already had a coreboot/ directory in your libreboot tree, delete it:
- $ rm -rf coreboot/ + $ rm -Rf coreboot/

@@ -151,7 +151,7 @@

Delete the .git* resources. For example:
- $ rm -rf .git*
+ $ rm -Rf .git*
...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:
@@ -219,7 +219,7 @@

Now delete the coreboot directory:
- $ rm -rf coreboot/ + $ rm -Rf coreboot/

@@ -403,7 +403,7 @@

Updating GRUB

- $ rm -rf grub/
+ $ rm -Rf grub/
$ git clone git://git.savannah.gnu.org/grub.git
$ cd grub/
$ git log -- cgit v0.9.1