commit 8300a9dcd0af74f6f9bf08d217fce111737739b1
parent 98909f952b3b7d3d257e623e4b887c35aa140768
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Mon, 30 Jan 2017 18:00:09 +0100
Missing # in bash snippet
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/deployment.rst b/docs/deployment.rst
@@ -161,7 +161,7 @@ Now we need to compile and install all the downloaded codebases.
.. code-block:: none
# We first update ``$PATH``, in order to make all the compilation
- and configuration utilities available.
+ # and configuration utilities available.
$ source activate
# Double check if the previous step worked: $PATH should