bug#25690: make install-html broken

[Jim Meyering]

On Thu, Feb 16, 2017 at 3:21 PM, Assaf Gordon <address@hidden> wrote:
> Hello Eric and all,
>
> On Thu, Feb 16, 2017 at 09:29:42AM -0600, Eric Blake wrote:
>>
>> But until the new gettext release is widely available prior to the
>> creation of tarballs, the gnulib hack is at least useful for creating
>> working tarballs with an older gettext installed.
>>
>
>
> I just noticed that sed's 'bootstrap.conf' already patches po/Makefile.in.in
> (and coreutils' too).
>
> So there's already a Right Place to do so :)
>
> How about the following patch (perhaps for coreutils as well) ?

Thank you for doing that.
I like it.  In case you'd prefer a slightly different spelling:

$ printf 'install-%s:;\n' dvi ps pdf html
install-dvi:;
install-ps:;
install-pdf:;
install-html:;