diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-05-05 19:33:16 +0400 |
|---|---|---|
| committer | Corinna Vinschen <corinna@vinschen.de> | 2016-03-22 12:29:15 +0300 |
| commit | f4d1a5e5b8b412dc1df0d9e895bb519b12ad8630 (patch) | |
| tree | 67a0d7db544e190b94e5fe63d95266ed0ffa19d7 /etc/configbuild.jin | |
| parent | 0b8d42946a15e50efb7cc9359c6e51187bd3793f (diff) | |
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.jin')
| -rw-r--r-- | etc/configbuild.jin | bin | 11123 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/etc/configbuild.jin b/etc/configbuild.jin Binary files differdeleted file mode 100644 index 44cd9397a..000000000 --- a/etc/configbuild.jin +++ /dev/null |