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

Alan Modra
2014-06-27T02:46:50Z

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