# HG changeset patch
# User Daniel Pfeiffer <occitan@esperanto.org>
# Date 1081883311 0
# Node ID 41f787240156160adb53bf2151c916e03f10a3a9
# Parent  68d5e826543e614474d9b058f15b3513327116f7
Also install etc/compilation.txt and chown/chmod it

diff -r 68d5e826543e -r 41f787240156 Makefile.in
--- a/Makefile.in	Tue Apr 13 19:04:54 2004 +0000
+++ b/Makefile.in	Tue Apr 13 19:08:31 2004 +0000
@@ -447,7 +447,9 @@
 	   echo "Copying etc/DOC-* to ${docdir} ..." ; \
 	   (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*; \
+	   (cd $(docdir); \
+	    chown $${LOGNAME:-$$USERNAME} DOC* compilation.txt; \
+	    chmod a+r DOC* compilation.txt; \
 	    if test "`echo DOC-*`" != "DOC-*"; then rm DOC; fi); \
 	else true; fi
 	-unset CDPATH; \