PR external/{16327,16328}: Remove etc/configure.texi and etc/standards.texi.
authorLudovic Courtès <ludo@gnu.org>
Mon, 5 May 2014 15:33:16 +0000 (17:33 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 27 Jun 2014 09:33:25 +0000 (11:33 +0200)
commit9393ab1c00601a01ec25bbe0d8dc8430f62c9c13
tree371314db97cf6e95487ce090d477d124010d0103
parent7b5490456670ef187c1b7c07ba2e9e09512a6d70
PR external/{16327,16328}: Remove etc/configure.texi and etc/standards.texi.

etc/ChangeLog
2014-06-27  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.
15 files changed:
etc/ChangeLog
etc/Makefile.in
etc/configbuild.ein [deleted file]
etc/configbuild.fig [deleted file]
etc/configbuild.jin [deleted file]
etc/configbuild.tin [deleted file]
etc/configdev.ein [deleted file]
etc/configdev.fig [deleted file]
etc/configdev.jin [deleted file]
etc/configdev.tin [deleted file]
etc/configure.texi [deleted file]
etc/fdl.texi [deleted file]
etc/gnu-oids.texi [deleted file]
etc/make-stds.texi [deleted file]
etc/standards.texi [deleted file]