# HG changeset patch
# User Andreas Schwab <schwab@suse.de>
# Date 1085737738 0
# Node ID eeff3f9a8140c4f640f4852a97382ddd5897432c
# Parent  a4b0f825c65a9eebbd28e9b83a48d4a239d5b419
Revert last two changes.

diff -r a4b0f825c65a -r eeff3f9a8140 Makefile.in
--- a/Makefile.in	Fri May 28 05:56:19 2004 +0000
+++ b/Makefile.in	Fri May 28 09:48:58 2004 +0000
@@ -445,11 +445,9 @@
 	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; \