aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2021-07-05 08:52:54 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2021-07-05 08:52:54 +0200
commitbc681a6c20dcd5aa048309aab6aa022019b7c98c (patch)
tree0bd14fa191cc3db86bb5a7d9696e44ee5d48a93b
parent22b0062ac4ec1efd34f78831c828d9a187b34da1 (diff)
Fix terminology inconsistency
-rw-r--r--doc/manual.cli3
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