diff options
| author | Juergen Borleis <jbe@pengutronix.de> | 2016-06-08 14:23:22 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-20 15:04:43 +0200 |
| commit | 30c48d12a72f6a08de01f98aa5821bfcc8734603 (patch) | |
| tree | d01ce03bed41a215fc6402a3804e408c788e8be8 | |
| parent | 3751466587c563604dd7af95776c88218a35610f (diff) | |
| download | ptxdist-30c48d12a72f6a08de01f98aa5821bfcc8734603.tar.gz ptxdist-30c48d12a72f6a08de01f98aa5821bfcc8734603.tar.xz | |
With a comma, this sentence is more precise
Signed-off-by: Juergen Borleis <jbe@pengutronix.de>
| -rw-r--r-- | doc/environment.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/environment.rst b/doc/environment.rst index de45780ce..2571a1f3a 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 |