# HG changeset patch
# User Daniel Pfeiffer <occitan@esperanto.org>
# Date 1081883094 0
# Node ID 68d5e826543e614474d9b058f15b3513327116f7
# Parent  43243c99881e47b44f8b0465766940a066b00a58
Also install etc/compilation.txt

diff -r 43243c99881e -r 68d5e826543e Makefile.in
--- a/Makefile.in	Tue Apr 13 18:02:03 2004 +0000
+++ b/Makefile.in	Tue Apr 13 19:04:54 2004 +0000
@@ -445,7 +445,7 @@
 	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); \