From: Kristoffer Haugsbakk <kristofferhaugsbakk@fastmail.com>
Date: Wed, 30 Sep 2026 14:07:03 GMT
Subject: Re: [PATCH 0/3] [doc] Remove gittutorial-2
Message-ID: <7ef2e8a1-2890-4b45-8da1-2f9a04cf792d@app.fastmail.com>
In-Reply-To: <7ca55e6c-d12c-4105-b647-d76ed49d93ac@app.fastmail.com>

On Wed, Sep 30, 2026, at 15:16, Julia Evans wrote:
>> Sorry, but there was another.  With this merged, doc-lint seems to
>> fail and breaks 'seen'.
>>
>>             ...
>>             LINT DOCSTYLE includes/cmd-config-section-all.adoc
>>         no link: gittutorial-2
>>         gmake[1]: *** [Makefile:537: lint-docs-manpages] Error 1
>>         gmake[1]: Leaving directory
>> '/home/gitster/w/buildfarm/seen/Documentation'
>>         gmake: *** [Makefile:4003: check-docs] Error 2
>
> Weird, when I run `make lint-docs` on my branch it succeeds
> (before merging it into `seen`). But I agree with you that
> it fails when merged into `seen`. I'll try to figure out why.

It looks like it’s because 4ce144a1 (lint-docs: check the guide list in 
command-list.txt, 2026-09-10) introduced `MAN_GUIDES`.

    diff --git Documentation/lint-manpages.sh Documentation/lint-manpages.sh
    index a0ea572382d..d4a1977ba6b 100755
    --- Documentation/lint-manpages.sh
    +++ Documentation/lint-manpages.sh
    @@ -1,21 +1,23 @@
    [...]
     check_missing_docs () (
            ret=0

    -	for v in $ALL_COMMANDS
    +	for v in $ALL_COMMANDS $MAN_GUIDES
            do