diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-07-17 14:53:40 (GMT) |
|---|---|---|
| committer |   Antony N. Pavlov" <antony@niisi.msk.ru> | 2011-07-17 14:53:40 (GMT) |
| commit | c009897aeec4ac3265498664937b2b86870b9984 (patch) | |
| tree | 046538459cc0fffed04c7483331db2bd0a76ab35 /docs/5 - Using the toolchain.txt | |
| parent | 30ad622618504b5801ae06a4f28ebd0d10655648 (diff) | |
misc: fix more typos here and there...
Reported-by: "Antony N. Pavlov" <antony@niisi.msk.ru>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'docs/5 - Using the toolchain.txt')
| -rw-r--r-- | docs/5 - Using the toolchain.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/5 - Using the toolchain.txt b/docs/5 - Using the toolchain.txt index 4d61514..eb8e1aa 100644 --- a/docs/5 - Using the toolchain.txt +++ b/docs/5 - Using the toolchain.txt @@ -41,7 +41,7 @@ run: your-target-tuple-populate -s /your/root -d /your/root-populated This will copy /your/root into /your/root-populated, and put the needed and only -the needed libraries there. Thus you don't polute /your/root with any cruft that +the needed libraries there. Thus you don't pollute /your/root with any cruft that would no longer be needed should you have to remove stuff. /your/root always contains only those things you install in it. |