Re: [PATCH 4/7] docs: exclude documentation for commands that have been excluded

From: Junio C Hamano <gitster@pobox.com>
Date: Apr 16, 2019, 04:12 UTC
Message-ID: <xmqqwojupp0s.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20190415145042.GA27540@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

Show 5 quoted lines

> What about command-line options that influence the outcome? It sounds
> like this is the same problem we have in lots of other places (like say,
> compiler flags being updated), that we solve by generating the proposed
> file output unconditionally and comparing it to what's on disk.  E.g.,
> see the way GIT-CFLAGS or GIT-BUILD-OPTIONS is generated.

;-).

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.