diff options
Diffstat (limited to 'binutils/doc/Makefile.in')
| -rw-r--r-- | binutils/doc/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/binutils/doc/Makefile.in b/binutils/doc/Makefile.in index ec18241..5d96d27 100644 --- a/binutils/doc/Makefile.in +++ b/binutils/doc/Makefile.in @@ -547,6 +547,10 @@ $(DEMANGLER_NAME).1: cxxfilt.man Makefile -e 's/cxxfilt/$(DEMANGLER_NAME)/' < $$man \ > $(DEMANGLER_NAME).1 +# We want install to imply install-info as per GNU standards, despite the +# cygnus option. +install: install-info + # Maintenance # We need it for the taz target in ../../Makefile.in. |