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/configbuild.tin | |
| 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/configbuild.tin')
| -rw-r--r-- | etc/configbuild.tin | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/etc/configbuild.tin b/etc/configbuild.tin deleted file mode 100644 index cfdd6fe..0000000 --- a/etc/configbuild.tin +++ /dev/null @@ -1,9 +0,0 @@ - config.in *configure* Makefile.in - | | | - | v | - | config.status | - | | | - *config.status*<======+==========>*config.status* - | | - v v - config.h Makefile |