diff options
| -rw-r--r-- | docs/maintain/index.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/maintain/index.html b/docs/maintain/index.html index 10c0652..fb47bcd 100644 --- a/docs/maintain/index.html +++ b/docs/maintain/index.html @@ -67,6 +67,12 @@ </ul> <p> + If you already had a coreboot/ directory in your libreboot + tree, delete it:<br/> + $ <b>rm -rf coreboot/</b> + </p> + + <p> Firstly, download coreboot. Do <b>not</b> use <b>./download coreboot</b> for this, just clone coreboot, as it does in that script, like so:<br/> $ <b>git clone http://review.coreboot.org/coreboot</b> |