diff options
author | Glenn Morris <[email protected]> | 2013-12-12 01:02:27 -0800 |
---|---|---|
committer | Glenn Morris <[email protected]> | 2013-12-12 01:02:27 -0800 |
commit | e035a207b7c3ce6493088b03c1066db58b0cf375 (patch) | |
tree | 73e9468911baf1e410f5ff6fc9966c89435519bc /Makefile.in | |
parent | 62bd73fa7a8c50504bc6f916b86603ea654fc472 (diff) |
* Makefile.in (install-info): Remove some useless subshells.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index dae475bf2e..58783cd2b2 100644 --- a/Makefile.in +++ b/Makefile.in @@ -651,10 +651,8 @@ install-info: info if [ "`cd ${srcdir}/info && /bin/pwd`" = "$$exp_infodir" ]; then \ true; \ else \ - (cd "$(DESTDIR)${infodir}"; \ - [ -f dir ] || \ - (cd "$${thisdir}"; \ - ${INSTALL_DATA} ${srcdir}/info/dir "$(DESTDIR)${infodir}/dir") ); \ + [ -f "$(DESTDIR)${infodir}/dir" ] || \ + ${INSTALL_DATA} ${srcdir}/info/dir "$(DESTDIR)${infodir}/dir"; \ info_misc=`cd doc/misc && $(QUIET_SUBMAKE) $(MAKE) -s echo-info`; \ cd ${srcdir}/info ; \ for elt in ${INFO_NONMISC} $${info_misc}; do \ |