Re: [PATCH][PING²] PR external/{16327,16328}: Remove etc/configure.texi and etc/standards.texi

Ludovic Courtès
2014-06-27T09:43:42Z

Alan Modra <amodra@gmail.com> skribis:

> On Thu, Jun 26, 2014 at 02:57:23PM +0200, Ludovic Courtès wrote:
>> etc/ChangeLog
>> 2014-06-26 Ludovic Courtès <ludo@gnu.org>
>>
>> PR external/16327
>> PR external/16328
>> * Makefile.in (MAKEINFO, TEXI2DVI, TEXI2PDF, TEXI2HTML, DVIPS,
>> TEXIDIR, INFOFILES, DVIFILES, PDFFILES, HTMLFILES): Remove.
>> (all): Remove dependency on 'info'.
>> (install): Remove dependency on 'install-info'.
>> (standards.info, standards.html, standards.dvi, standards.ps)
>> standards.pdf, configure.info, configure.dvi, configure.ps,
>> configure.pdf, configure.pdf): Remove.
>> (info, install-info, html, install-html, dvi, pdf, install-pdf)
>> clean, maintainer-clean, realclean): Remove body.
>> * etc/configbuild.ein, etc/configbuild.fig, etc/configbuild.jin,
>> etc/configbuild.tin, etc/configdev.ein, etc/configdev.fig,
>> etc/configdev.jin, etc/configdev.tin, etc/configure.texi,
>> etc/fdl.texi, etc/gnu-oids.texi, etc/make-stds.texi,
>> etc/standards.texi: Remove.
>
> I think we've had enough time for anyone to register disagreement with
> this patch, so OK to apply.

OK, pushed to master.

It would make sense to push it to gdb-7.8-branch as well, WDYT?

> I notice this leaves us with a Makefile that does nothing. As a
> followup you might like to delete etc/configure* and etc/Makefile.in
> and remove the line "host_modules= { module= etc; };" in the top level
> Makefile.def. I also see this in Makefile.tpl
> dist:
> @echo "Building a full distribution of this tree isn't done"
> @echo "via 'make dist'. Check out the etc/ subdirectory"
> Seems like that should be removed too.

Right, I’ll look into it.

> The top level Makefile.def and Makefile.tpl changes (and regen of
> Makefile.in) would need to be applied to mainline gcc too.

OK.

Thanks,
Ludo’.