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

[ludo@gnu.org (Ludovic Courtès)]

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’.