summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJuergen Borleis <jbe@pengutronix.de>2016-06-08 14:23:22 +0200
committerMichael Olbrich <m.olbrich@pengutronix.de>2016-06-20 15:04:43 +0200
commit30c48d12a72f6a08de01f98aa5821bfcc8734603 (patch)
treed01ce03bed41a215fc6402a3804e408c788e8be8
parent3751466587c563604dd7af95776c88218a35610f (diff)
downloadptxdist-30c48d12a72f6a08de01f98aa5821bfcc8734603.tar.gz
With a comma, this sentence is more precise
Signed-off-by: Juergen Borleis <jbe@pengutronix.de>
-rw-r--r--doc/environment.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/environment.rst b/doc/environment.rst
index de45780..2571a1f 100644
--- a/doc/environment.rst
+++ b/doc/environment.rst
@@ -173,7 +173,7 @@ for the installation process.
The installation paths are configured in a way that several PTXdist
versions can be installed in parallel. So if an old version of PTXdist
-is already installed there is no need to remove it.
+is already installed, there is no need to remove it.
One of the most important tasks for the ``configure`` script is to find
out if all the programs PTXdist depends on are already present on the