diff options
Diffstat (limited to 'docs/maintain/index.html')
| -rw-r--r-- | docs/maintain/index.html | 8 |
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> |