path: root/docs
diff options
authorYann E. MORIN" <>2007-07-30 19:35:39 (GMT)
committerYann E. MORIN" <>2007-07-30 19:35:39 (GMT)
commit20e08ffa90f139fb977bf2d65e989853626210e8 (patch)
treec0b94b165791d90970ab8a034e6e9e2852b6c814 /docs
parentaf1ecbd4f3844b51f5df38e7f44363714f60509d (diff)
Fix the step shortcuts (using a dash would confuse make).
Diffstat (limited to 'docs')
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/overview.txt b/docs/overview.txt
index 9bed02d..527d854 100644
--- a/docs/overview.txt
+++ b/docs/overview.txt
@@ -277,9 +277,9 @@ Alternatively, you can call make with the name of a step to just do that step:
is equivalent to:
ct-ng RESTART=libs_headers STOP=libc_headers
-The shortcuts -step_name and step_name- allow to respectively stop or restart
+The shortcuts +step_name and step_name+ allow to respectively stop or restart
at that step. Thus:
- ct-ng -libc_headers and: ct-ng libc_headers-
+ ct-ng +libc_headers and: ct-ng libc_headers+
are equivalent to:
ct-ng STOP=libc_headers and: ct-ng RESTART=libc_headers