summaryrefslogtreecommitdiff
path: root/doc/tutorial/rebuild.org
diff options
context:
space:
mode:
Diffstat (limited to 'doc/tutorial/rebuild.org')
-rw-r--r--doc/tutorial/rebuild.org2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial/rebuild.org b/doc/tutorial/rebuild.org
index 115aff10..80aafb6f 100644
--- a/doc/tutorial/rebuild.org
+++ b/doc/tutorial/rebuild.org
@@ -206,7 +206,7 @@ non-reproducibility, however, more modifications of the environment
are necessary.
A simple, but effective, way for modifying the build environment
-is the option ~-L~ to the set the local launcher, a list of
+is the option ~-L~ to set the local launcher, a list of
strings the argument vector is prefixed with before the action is
executed. The default ~["env", "--"]~ simply resolves the program
to be executed in the current value of ~PATH~, but a different