From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 16 Apr 2019 04:12:03 GMT
Subject: Re: [PATCH 4/7] docs: exclude documentation for commands that have been excluded
Message-ID: <xmqqwojupp0s.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20190415145042.GA27540@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> 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.

;-).