diff options
Diffstat (limited to 'scripts/documentation-file-ref-check')
| -rwxr-xr-x | scripts/documentation-file-ref-check | 11 | 
1 files changed, 9 insertions, 2 deletions
diff --git a/scripts/documentation-file-ref-check b/scripts/documentation-file-ref-check index 7784c54aa38b..997202a18ddb 100755 --- a/scripts/documentation-file-ref-check +++ b/scripts/documentation-file-ref-check @@ -51,7 +51,9 @@ open IN, "git grep ':doc:\`' Documentation/|"       or die "Failed to run git grep";  while (<IN>) {  	next if (!m,^([^:]+):.*\:doc\:\`([^\`]+)\`,); +	next if (m,sphinx/,); +	my $file = $1;  	my $d = $1;  	my $doc_ref = $2; @@ -60,7 +62,12 @@ while (<IN>) {  	$d =~ s,(.*/).*,$1,;  	$f =~ s,.*\<([^\>]+)\>,$1,; -	$f ="$d$f.rst"; +	if ($f =~ m,^/,) { +		$f = "$f.rst"; +		$f =~ s,^/,Documentation/,; +	} else { +		$f = "$d$f.rst"; +	}  	next if (grep -e, glob("$f")); @@ -69,7 +76,7 @@ while (<IN>) {  	}  	$doc_fix++; -	print STDERR "$f: :doc:`$doc_ref`\n"; +	print STDERR "$file: :doc:`$doc_ref`\n";  }  close IN;  | 
