Manual: DEVELOPERS file integrity check

Signed-off-by: Matthew Weber <matthew.weber@rockwellcollins.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>

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.