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

[Alan Modra <amodra@gmail.com>]

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.

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.

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

-- 
Alan Modra
Australia Development Lab, IBM