... | ... | @@ -11,7 +11,7 @@ all the default settings. |
|
|
The following instructions assume that you have [got the sources](building/getting-the-sources) (note: not just a `darcs get`) and [installed the necessary tools](building/preparation).
|
|
|
|
|
|
|
|
|
If you are starting from a `darcs` checkout(or rebuilding from darcs), then:
|
|
|
If you are starting from a `darcs` checkout (or rebuilding from darcs), then:
|
|
|
|
|
|
```wiki
|
|
|
$ sh boot
|
... | ... | |