summaryrefslogtreecommitdiffstats
path: root/user
diff options
context:
space:
mode:
Diffstat (limited to 'user')
-rw-r--r--user/start/sources.rst5
-rw-r--r--user/start/tools.rst4
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`.