From 2c0bc31b7f5b8b3c0d17b67d7c2b29479bb531bf Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Mon, 23 Jun 2025 14:40:56 +0200 Subject: Documentation: fix default for "main" in repository-config --- doc/concepts/multi-repo.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/concepts/multi-repo.md b/doc/concepts/multi-repo.md index e4dd1bd6..0a07a79e 100644 --- a/doc/concepts/multi-repo.md +++ b/doc/concepts/multi-repo.md @@ -42,8 +42,9 @@ with the first entry being specifying the naming scheme; the semantics of the remaining entries depends on the scheme (see "Root Naming Schemes" below). -Additionally, the key `"main"` (with default `""`) specifies the main -repository. The target to be built (as specified on the command line) is +Additionally, the optional key `"main"` specifies the main +repository (if omitted, the repository with the lexicographically-first name +is used). The target to be built (as specified on the command line) is taken from this repository. Also, the command-line arguments `-w`, `--target_root`, etc, apply to this repository. If no option `-w` is given and `"workspace_root"` is not specified in the -- cgit v1.2.3