projects / buildroot.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 50b82e8)
Manual: DEVELOPERS file integrity check
authorMatt Weber <matthew.weber@rockwellcollins.com>
Tue, 7 Nov 2017 21:47:44 +0000 (15:47 -0600)
committerPeter Korsgaard <peter@korsgaard.com>
Wed, 8 Nov 2017 12:20:02 +0000 (13:20 +0100)
Signed-off-by: Matthew Weber <matthew.weber@rockwellcollins.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
docs/manual/developers.txt patch | blob | history

diff --git a/docs/manual/developers.txt b/docs/manual/developers.txt
index 4e2cd71638e95ceb2041b008db113b3617b36189..a0a3668dbc050023d41fa75fce96cdf9a49513f9 100644 (file)
--- a/docs/manual/developers.txt
+++ b/docs/manual/developers.txt
@@ -44,3 +44,5 @@ the +DEVELOPERS+ file for various tasks:
   list the ones that are not handled by any developer. The purpose of
   this option is to help completing the +DEVELOPERS+ file.
 
+- When using without any arguments, it validates the integrity of the
+  DEVELOPERS file and will note WARNINGS for items that don't match.