diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-05-05 17:33:16 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-06-27 11:33:25 +0200 |
| commit | 9393ab1c00601a01ec25bbe0d8dc8430f62c9c13 (patch) | |
| tree | 371314db97cf6e95487ce090d477d124010d0103 /etc/ChangeLog | |
| parent | 7b5490456670ef187c1b7c07ba2e9e09512a6d70 (diff) | |
| download | gdb-9393ab1c00601a01ec25bbe0d8dc8430f62c9c13.zip gdb-9393ab1c00601a01ec25bbe0d8dc8430f62c9c13.tar.gz gdb-9393ab1c00601a01ec25bbe0d8dc8430f62c9c13.tar.bz2 | |
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.
Diffstat (limited to 'etc/ChangeLog')
| -rw-r--r-- | etc/ChangeLog | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/etc/ChangeLog b/etc/ChangeLog index d3b6a0b..516e6a9 100644 --- a/etc/ChangeLog +++ b/etc/ChangeLog @@ -1,3 +1,22 @@ +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. + 2010-11-20 Ralf Wildenhues <Ralf.Wildenhues@gmx.de> * Makefile.in (install-strip): New target. |