From 30c48d12a72f6a08de01f98aa5821bfcc8734603 Mon Sep 17 00:00:00 2001 From: Juergen Borleis Date: Wed, 8 Jun 2016 14:23:22 +0200 Subject: With a comma, this sentence is more precise Signed-off-by: Juergen Borleis --- doc/environment.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.1