Re: [PATCH] add a script to diff rendered documentation

From: Junio C Hamano <gitster@pobox.com>
Date: Aug 3, 2018, 21:47 UTC
Message-ID: <xmqq1sbfw2ap.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <CAPig+cSDM4vjuhwfuapuPpjjOmXbrhz-i0eVhtShp+nOYReLnA@mail.gmail.com>

Eric Sunshine <sunshine@sunshineco.com> writes:

Show 6 quoted lines

>> +               shift; break ;;
>> +       *)
>> +               usage ;;
>
> There doesn't seem to a usage() function defined anywhere (and
> OPTIONS_SPEC doesn't seem to be used).

Isn't this using the parse-options thing git-sh-setup gives us for free?