Re: [PATCH] doc: replace "--" with {litdd} in credential-cache/fsmonitor

[Todd Zullinger <tmz@pobox.com>]

Hi Ævar,

Ævar Arnfjörð Bjarmason wrote:
> Looks good, for the linkgit case let's check it in "make check-docs":
> 
> diff --git a/Documentation/lint-gitlink.perl b/Documentation/lint-gitlink.perl
> index 1c61dd9512b..2f46b261282 100755
> --- a/Documentation/lint-gitlink.perl
> +++ b/Documentation/lint-gitlink.perl
> @@ -46,6 +46,7 @@ sub report {
>  		my ($target, $page, $section) = ($1, $2, $3);
>  
>  		# De-AsciiDoc
> +		my $raw_page = $page;
>  		$page =~ s/{litdd}/--/g;
>  
>  		if (!exists $TXT{$page}) {
> @@ -61,6 +62,7 @@ sub report {
>  			report($pos, $line, $target, "wrong section (should be $real_section)");
>  			next;
>  		}
> +		report($pos, $line, $target, "should link '--' as '{litdd}')") if $raw_page =~ /--/;
>  	}
>  	# this resets our $. for each file
>  	close ARGV if eof;

Excellent, thanks!  I had run the lint-docs-gitlink target
to see if it reported any issue, but it hadn't.  With this,
prior to the change I made to git-update-index.txt, it
properly reports the issue:

    make -C Documentation/ lint-docs-gitlink
    ...
	LINT GITLINK git-update-index.txt
    git-update-index.txt:531: error: git-fsmonitor--daemon[1]: should link '--' as '{litdd}'), shown with 'HERE' below:
    git-update-index.txt:531:	'linkgit:git-fsmonitor--daemon[1]' <-- HERE
    make: *** [Makefile:442: .build/lint-docs/gitlink/git-update-index.ok] Error 1
    make: *** Deleting file '.build/lint-docs/gitlink/git-update-index.ok'
    make: Leaving directory '/src/git/Documentation'

Cheers,

-- 
Todd