diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2021-07-05 08:52:54 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-07-05 08:52:54 +0200 |
| commit | bc681a6c20dcd5aa048309aab6aa022019b7c98c (patch) | |
| tree | 0bd14fa191cc3db86bb5a7d9696e44ee5d48a93b | |
| parent | 22b0062ac4ec1efd34f78831c828d9a187b34da1 (diff) | |
Fix terminology inconsistency
| -rw-r--r-- | doc/manual.cli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index a225cbd..9a494ad 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -1047,7 +1047,8 @@ it is a \i{build-time} prerequisite. Otherwise it is \i{run-time}. generator, so you can think of \c{*} as the executable mark printed by \c{ls}. An important difference between the two kinds of dependencies is that in case of cross-compilation a build-time dependency must be built for the -build machine, not the target.| +host machine, not the target. Build system modules are also build-time +dependencies.| Two special build-time dependency names are recognized and checked in an ad hoc manner: \c{build2} (the \c{build2} build system) and \c{bpkg} (the |