diff options
Diffstat (limited to 'gprof/Makefile.in')
| -rw-r--r-- | gprof/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gprof/Makefile.in b/gprof/Makefile.in index f2fcd22301..530623a3a8 100644 --- a/gprof/Makefile.in +++ b/gprof/Makefile.in @@ -736,6 +736,10 @@ gprof.1: $(srcdir)/gprof.texi Makefile: $(BFDDIR)/configure.in +# We want install to imply install-info as per GNU standards, despite the +# cygnus option. +install: install-info + # Targets to rebuild dependencies in this Makefile. # Have to get rid of DEP1 here so that "$?" later includes all sources. DEP: dep.sed $(gprof_SOURCES) $(noinst_HEADERS) gconfig.h |
