config-labels: Add clarification about label inheritence
Clarify that when modifying an inherited label, all its properties
must be redefined.
See [1] for an example of problems occurring due to this limitation
not being well documented.
[1] https://bugs.eclipse.org/bugs/show_bug.cgi?id=512468
Change-Id: I0f809e197b908af73cfd42d7d8e64e62dcb3167e
diff --git a/Documentation/config-labels.txt b/Documentation/config-labels.txt
index 682f989..e1a25ca 100644
--- a/Documentation/config-labels.txt
+++ b/Documentation/config-labels.txt
@@ -151,10 +151,15 @@
=== Inheritance
Labels are inherited from parent projects. A child project may add,
-override, or remove labels defined in its parents. Overriding a label
-in a child project overrides all its properties and values. To remove
-a label in a child project, add an empty label with the same name as
-in the parent.
+override, or remove labels defined in its parents.
+
+Overriding a label in a child project overrides all its properties and
+values. It is not possible to modify an inherited label by adding
+properties in the child project's configuration; all properties from
+the parent definition must be redefined in the child.
+
+To remove a label in a child project, add an empty label with the same
+name as in the parent.
[[label_layout]]
=== Layout
