diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 7bfed3fd5ea..8c658ee8915 100644 --- a/Makefile.in +++ b/Makefile.in @@ -445,7 +445,7 @@ 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*) \ + (cd ./etc; tar -chf - DOC* compilation.txt) \ |(cd ${docdir}; umask 022; tar -xvf - && cat > /dev/null) || exit 1; \ (cd $(docdir); chown $${LOGNAME:-$$USERNAME} DOC*; chmod a+r DOC*; \ if test "`echo DOC-*`" != "DOC-*"; then rm DOC; fi); \ |