mise à jour de la doc, release notes 5.8

[tools/sat.git] / doc / src / release_notes / release_notes_5.7.0.rst

diff --git a/doc/src/release_notes/release_notes_5.7.0.rst b/doc/src/release_notes/release_notes_5.7.0.rst
index 5f608c69501e8ca2a753c17eb239c5f7e1b1fd1a..955b352e79ecaf253a54734213fb6594b8fe6f0d 100644 (file)
--- a/doc/src/release_notes/release_notes_5.7.0.rst
+++ b/doc/src/release_notes/release_notes_5.7.0.rst
@@ -50,7 +50,7 @@ This option can also be mixed with *--proterties* option, to avoid recompiling s
 **sat do not reinitialise PATH, LD_LIBRARY_PATH and PYTHONPATH variables anymore**
 
 The last versions of sat were reinitialising the PATH, LD_LIBRARY_PATH and PYTHONPATH variables before the compilation.
-The objective was to avoid bad interaction with the user environment, and ensure that sat environmnent was correctly set for build.
+The objective was to avoid bad interaction with the user environment, and ensure that sat environment was correctly set for build.
 Alas this policy causes difficulties, notably on cluster where people sometimes need to use an alternate compiler and have to set it through *module load* command.
 It was therefore decided to suppress this policy.