Re: [PATCH 4/7] docs: exclude documentation for commands that have been excluded
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Apr 18, 2019, 13:08 UTC
- Message-ID
- <nycvar.QRO.7.76.6.1904181507240.46@tvgsbejvaqbjf.bet>
- In-Reply-To
- <CAPig+cSHJ_g=KGBL2qoJK7Ddv6QhoC2Fq=2dyRF1qexAv63RiA@mail.gmail.com>
Hi Eric & Junio,
On Mon, 15 Apr 2019, Eric Sunshine wrote:
Show 14 quoted lines
> On Mon, Apr 15, 2019 at 12:16 AM Eric Sunshine <sunshine@sunshineco.com> wrote: > > When composing that email, I originally wrote $(wildcard > > config.mak.autogen) as the suggestion but changed it to the looser > > $(wildcard config.mak*) when I realized that the developer's own > > config.mak probably ought to be a dependency, as well. Taking your > > objection into consideration, we could mention both explicitly: > > > > Documentation/GIT-EXCLUDED-PROGRAMS: Makefile \ > > $(wildcard config.mak) $(wildcard config.mak.autogen) > > Bleh, I forgot config.mak.uname from Dscho's original patch. > > Documentation/GIT-EXCLUDED-PROGRAMS: Makefile config.mak.uname \ > $(wildcard config.mak) $(wildcard config.mak.autogen)
Right.
I had that locally in the meantime, but based on Peff's suggestion went for a GIT-CFLAGS like approach instead.
Ciao, Dscho