diff options
Diffstat (limited to 'doc/environment.rst')
-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 |