For historical reasons the 'src' tree installs standards.info. However, that no longer seems to make sense---see the discussion at <http://lists.gnu.org/archive/html/bug-texinfo/2013-12/msg00007.html> and Karl's conclusion at <http://lists.gnu.org/archive/html/bug-texinfo/2013-12/msg00015.html>.
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gdb and binutils". The branch, master has been updated via 9393ab1c00601a01ec25bbe0d8dc8430f62c9c13 (commit) from 7b5490456670ef187c1b7c07ba2e9e09512a6d70 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=9393ab1c00601a01ec25bbe0d8dc8430f62c9c13 commit 9393ab1c00601a01ec25bbe0d8dc8430f62c9c13 Author: Ludovic Court�s <ludo@gnu.org> Date: Mon May 5 17:33:16 2014 +0200 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. ----------------------------------------------------------------------- Summary of changes: etc/ChangeLog | 19 + etc/Makefile.in | 182 +--- etc/configbuild.ein | 149 -- etc/configbuild.fig | 50 - etc/configbuild.jin | Bin 11123 -> 0 bytes etc/configbuild.tin | 9 - etc/configdev.ein | 185 --- etc/configdev.fig | 80 - etc/configdev.jin | Bin 17967 -> 0 bytes etc/configdev.tin | 17 - etc/configure.texi | 2646 -------------------------------- etc/fdl.texi | 505 ------ etc/gnu-oids.texi | 52 - etc/make-stds.texi | 1135 -------------- etc/standards.texi | 4235 --------------------------------------------------- 15 files changed, 23 insertions(+), 9241 deletions(-) delete mode 100644 etc/configbuild.ein delete mode 100644 etc/configbuild.fig delete mode 100644 etc/configbuild.jin delete mode 100644 etc/configbuild.tin delete mode 100644 etc/configdev.ein delete mode 100644 etc/configdev.fig delete mode 100644 etc/configdev.jin delete mode 100644 etc/configdev.tin delete mode 100644 etc/configure.texi delete mode 100644 etc/fdl.texi delete mode 100644 etc/gnu-oids.texi delete mode 100644 etc/make-stds.texi delete mode 100644 etc/standards.texi
Fixed by commit 9393ab1c00601a01ec25bbe0d8dc8430f62c9c13.