diff options
| -rw-r--r-- | gprof/Makefile.in | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/gprof/Makefile.in b/gprof/Makefile.in index c6f6e3c..f7b7a0d 100644 --- a/gprof/Makefile.in +++ b/gprof/Makefile.in @@ -75,9 +75,14 @@ dvi: gprof.dvi check: installcheck: -install-info: - for i in *.info* ; do \ - $(INSTALL_DATA) $$i $(infodir)/$$i ; \ +install-info: gprof.info + if [ -r gprof.info ]; then \ + dir=. ; \ + else \ + dir=$(srcdir) ; \ + fi ; \ + for i in `cd $$dir; echo gprof.info*` ; do \ + $(INSTALL_DATA) $$dir/$$i $(infodir)/$$i ; \ done install: |