diff options
Diffstat (limited to '')
-rw-r--r-- | user/start/sources.rst | 5 | ||||
-rw-r--r-- | user/start/tools.rst | 4 |
2 files changed, 5 insertions, 4 deletions
diff --git a/user/start/sources.rst b/user/start/sources.rst index 0530add..692e2bc 100644 --- a/user/start/sources.rst +++ b/user/start/sources.rst @@ -8,8 +8,9 @@ Obtain the Sources ================== -You chose an installation prefix previous section. We chose -:file:`$HOME/quick-start/rtems/5` as the installation prefix. +You have considered and chosen a suitable installation prefix in the previous +section. We have chosen :file:`$HOME/quick-start/rtems/5` as the installation +prefix. You need at least two source archives or Git repositories to work with RTEMS. You can download the source archives for a released RTEMS version or you can diff --git a/user/start/tools.rst b/user/start/tools.rst index e86bd9f..07dc1e0 100644 --- a/user/start/tools.rst +++ b/user/start/tools.rst @@ -8,8 +8,8 @@ Install the Tool Suite ====================== -You chose an installation prefix and cloned two RTEMS repositories in the -previous sections. We chose :file:`$HOME/quick-start/rtems/5` as the +You have chosen an installation prefix and cloned two RTEMS repositories in the +previous sections. We have chosen :file:`$HOME/quick-start/rtems/5` as the installation prefix and cloned the repositories in :file:`$HOME/quick-start/src`. |