diff options
author | David D. Zuhn <zoo@cygnus> | 1993-05-20 23:42:18 +0000 |
---|---|---|
committer | David D. Zuhn <zoo@cygnus> | 1993-05-20 23:42:18 +0000 |
commit | aab37f5278b2df2a76df170979828c704cdb9e70 (patch) | |
tree | 64c70c1001808021d6b9e7d4708fe5a883cb20a7 /gprof/Makefile.in | |
parent | 4b437c20ad9c775c360a152a09566c520926ca58 (diff) | |
download | gdb-aab37f5278b2df2a76df170979828c704cdb9e70.zip gdb-aab37f5278b2df2a76df170979828c704cdb9e70.tar.gz gdb-aab37f5278b2df2a76df170979828c704cdb9e70.tar.bz2 |
install shouldn't depend on install-info
Diffstat (limited to 'gprof/Makefile.in')
-rw-r--r-- | gprof/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gprof/Makefile.in b/gprof/Makefile.in index fa43826..c1a8f74 100644 --- a/gprof/Makefile.in +++ b/gprof/Makefile.in @@ -80,7 +80,7 @@ install-info: info $(INSTALL_DATA) $$i $(infodir)/$$i ; \ done -install: all install-info +install: all -parent=`echo $(man1dir)|sed -e 's@/[^/]*$$@@'`; \ if [ -d $$parent ] ; then true ; else mkdir $$parent ; fi -if [ -d $(man1dir) ] ; then true ; else mkdir $(man1dir) ; fi |