+ Frank On 1/7/19 10:37 AM, Pavel Machek wrote: > Is it "Device Tree" or "device tree"? > > pavel@duo:/data/l/k/Documentation$ grep -r "Device Tree" | wc -l > 235 > pavel@duo:/data/l/k/Documentation$ grep -r "device tree" | wc -l > 595 > > I guess it would be nice to make it consistent. I guess "device tree" > is preffered? > > Should we do something like this? > Pavel > > Signed-off-by: Pavel Machek <pavel@xxxxxx> > > diff --git a/Documentation/devicetree/overlay-notes.txt b/Documentation/devicetree/overlay-notes.txt > index 725fb8d..cc5f507 100644 > --- a/Documentation/devicetree/overlay-notes.txt > +++ b/Documentation/devicetree/overlay-notes.txt > @@ -8,7 +8,7 @@ companion document to Documentation/devicetree/dynamic-resolution-notes.txt[1] > How overlays work > ----------------- > > -A Device Tree's overlay purpose is to modify the kernel's live tree, and > +A device tree's overlay purpose is to modify the kernel's live tree, and > have the modification affecting the state of the kernel in a way that > is reflecting the changes. > Since the kernel mainly deals with devices, any new device node that result > Not a strong opinion, but I would prefer a third option of devicetree. That makes it much easier to search for. -Frank
