Rob Herring <robh@xxxxxxxxxx> writes:
> With multiple git working directories, '.git' may also be a text file
> linking to the actual git tree instead of a directory.
>
> Cc: Mauro Carvalho Chehab <mchehab@xxxxxxxxxx>
> Cc: Jonathan Corbet <corbet@xxxxxxx>
> Cc: linux-doc@xxxxxxxxxxxxxxx
> Signed-off-by: Rob Herring <robh@xxxxxxxxxx>
> ---
> scripts/documentation-file-ref-check | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/scripts/documentation-file-ref-check b/scripts/documentation-file-ref-check
> index c71832b2312b..7187ea5e5149 100755
> --- a/scripts/documentation-file-ref-check
> +++ b/scripts/documentation-file-ref-check
> @@ -24,7 +24,7 @@ my $help = 0;
> my $fix = 0;
> my $warn = 0;
>
> -if (! -d ".git") {
> +if (! -e ".git") {
> printf "Warning: can't check if file exists, as this is not a git tree\n";
> exit 0;
Applied, thanks.
jon
