Re: [PATCH 0/3] [doc] Remove gittutorial-2

On Wed, Sep 30, 2026, at 15:16, Julia Evans wrote:

quoted

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