From d7f9f1da6b09a8658e66a46c55b15186921098a9 Mon Sep 17 00:00:00 2001 From: Matt Weber Date: Tue, 7 Nov 2017 15:47:44 -0600 Subject: [PATCH] Manual: DEVELOPERS file integrity check Signed-off-by: Matthew Weber Signed-off-by: Peter Korsgaard --- docs/manual/developers.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/manual/developers.txt b/docs/manual/developers.txt index 4e2cd71638..a0a3668dbc 100644 --- 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.