Re: [PATCH v2 5/8] docs: exclude documentation for commands that have been excluded

2019-04-29 Thread Johannes Schindelin
Hi Junio, On Fri, 19 Apr 2019, Junio C Hamano wrote: > "Johannes Schindelin via GitGitGadget" > writes: > > > From: Johannes Schindelin > > > > When building with certain build options, some commands are excluded > > from the build. For example, `git-credential-cache` is skipped when > > buildi

Re: [PATCH v2 5/8] docs: exclude documentation for commands that have been excluded

2019-04-19 Thread Junio C Hamano
"Johannes Schindelin via GitGitGadget" writes: > From: Johannes Schindelin > > When building with certain build options, some commands are excluded > from the build. For example, `git-credential-cache` is skipped when > building with `NO_UNIX_SOCKETS`. > > Let's not build or package documentatio

[PATCH v2 5/8] docs: exclude documentation for commands that have been excluded

2019-04-18 Thread Johannes Schindelin via GitGitGadget
From: Johannes Schindelin When building with certain build options, some commands are excluded from the build. For example, `git-credential-cache` is skipped when building with `NO_UNIX_SOCKETS`. Let's not build or package documentation for those excluded commands. This issue was pointed out ri