diff options
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index 97d9a2a1079..7bfed3fd5ea 100644 --- a/Makefile.in +++ b/Makefile.in @@ -445,11 +445,9 @@ install-arch-indep: mkdir info if [ `(cd ./etc; /bin/pwd)` != `(cd ${docdir}; /bin/pwd)` ]; \ then \ echo "Copying etc/DOC-* to ${docdir} ..." ; \ - (cd ./etc; tar -chf - DOC* compilation.txt) \ + (cd ./etc; tar -chf - DOC*) \ |(cd ${docdir}; umask 022; tar -xvf - && cat > /dev/null) || exit 1; \ - (cd $(docdir); \ - chown $${LOGNAME:-$$USERNAME} DOC* compilation.txt; \ - chmod a+r DOC* compilation.txt; \ + (cd $(docdir); chown $${LOGNAME:-$$USERNAME} DOC*; chmod a+r DOC*; \ if test "`echo DOC-*`" != "DOC-*"; then rm DOC; fi); \ else true; fi -unset CDPATH; \ |