docs: Remove outdated paragraph

ToolsTree= is now just a regular universal setting so no need to
document it as being special in the ToolsTree= documentation.

diff --git a/mkosi/resources/man/mkosi.1.md b/mkosi/resources/man/mkosi.1.md
index 8022432af59801944319b2c148e5ef14a5ac809e..e0a6ef1b89f691ef12df4e6f202287cfdb7a1d04 100644 (file)
--- a/mkosi/resources/man/mkosi.1.md
+++ b/mkosi/resources/man/mkosi.1.md
@@ -1235,12 +1235,6 @@ boolean argument: either `1`, `yes`, or `true` to enable, or `0`, `no`,
     If set to `default`, **mkosi** will automatically add an extra tools tree
     image and use it as the tools tree.
 
-    Note that **mkosi** will only build a single default tools tree per build,
-    even if multiple images are defined in `mkosi.images` with
-    `ToolsTree=default`. The settings of the "last" image will apply to
-    the default tools tree (usually the image defined last in
-    mkosi.images and without any dependencies on other images).
-
     The following table shows for which distributions default tools tree
     packages are defined and which packages are included in those default
     tools trees: