1.1 --- a/docs/wiki/Getting_Started Thu Aug 11 23:49:37 2022 +0200
1.2 +++ b/docs/wiki/Getting_Started Thu Aug 11 23:57:02 2022 +0200
1.3 @@ -19,11 +19,11 @@
1.4 == Deploying the Software ==
1.5
1.6 Since this software is intended for use with L4Re, it is suggested that this
1.7 -distribution be available from within the `src/l4` directory of that software
1.8 -distribution. The following command may be used to achieve this:
1.9 +distribution be available from within the top-level `l4` directory of that
1.10 +software distribution. The following command may be used to achieve this:
1.11
1.12 {{{
1.13 -ln -s $IDL4RE $L4DIR/src/l4/idl4re
1.14 +ln -s $IDL4RE $L4DIR/l4/idl4re
1.15 }}}
1.16
1.17 (Here, `$IDL4RE` needs to expand to the location of this distribution, whereas
1.18 @@ -32,9 +32,12 @@
1.19 For example:
1.20
1.21 {{{
1.22 -ln -s ~/L4/IDL/idl4re ~/L4/src/l4/idl4re
1.23 +ln -s ~/Software/idl4re ~/L4Re-Software/l4/idl4re
1.24 }}}
1.25
1.26 +Moving this software's repository to the appropriate location is also
1.27 +acceptable.
1.28 +
1.29 == Using the Software ==
1.30
1.31 See the [[idl]] document for more information on running the `idl` tool and