From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 03 Aug 2018 21:47:10 GMT
Subject: Re: [PATCH] add a script to diff rendered documentation
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:

>> +               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?