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/configdev.jin | |
| 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/configdev.jin')
| -rw-r--r-- | etc/configdev.jin | bin | 17967 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/etc/configdev.jin b/etc/configdev.jin Binary files differdeleted file mode 100644 index 9b11a71..0000000 --- a/etc/configdev.jin +++ /dev/null |