Revert last two changes.

diff --git a/Makefile.in b/Makefile.in
index 97d9a2a1079ed808f46309932442073ecaf91d25..7bfed3fd5ea7f00935c22c4a684983bc08e9be35 100644 (file)
--- 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; \