Re: [PATCH] doc: substitute ETC_GIT(CONFIG|ATTRIBUTES) in generated docs
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jun 27, 2018, 16:45 UTC
- Message-ID
- <xmqqlgb0goui.fsf@gitster-ct.c.googlers.com>
- In-Reply-To
- <20180627141430.GA13904@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
Show 7 quoted lines
> 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-<.