diff options
Diffstat (limited to 'docs/overview.txt')
| -rw-r--r-- | docs/overview.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/overview.txt b/docs/overview.txt index 9bed02d7..527d8541 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 |