From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 27 Jun 2018 16:45:41 GMT
Subject: Re: [PATCH] doc: substitute ETC_GIT(CONFIG|ATTRIBUTES) in generated docs
Message-ID: <xmqqlgb0goui.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20180627141430.GA13904@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> Specifically, I'm thinking of:
>
>   1. The pre-built documentation that Junio builds for
>      quick-install-doc. This _could_ be customized during the "quick"
>      step, but it's probably not worth the effort. However, we'd want
>      some kind of generic fill-in then, and hopefully not
>      "/home/jch/etc" or something.

That is very likely to happen, actually X-<.