# HG changeset patch
# User wenzelm
# Date 1212182811 -7200
# Node ID 0006d6a6d21d061821300aefa3e0e9a0c99bb7ea
# Parent  12c329e4d1cc8ec4e41ec619ce61af67190601b9
cvs2cl only for unofficial releases;

diff -r 12c329e4d1cc -r 0006d6a6d21d Admin/makedist
--- a/Admin/makedist	Fri May 30 23:10:53 2008 +0200
+++ b/Admin/makedist	Fri May 30 23:26:51 2008 +0200
@@ -126,7 +126,7 @@
 
 $EXPORT || fail "Export failed!"
 
-if [ -n "$CVS2CL" ]; then
+if [ -n "$CVS2CL" -a -n "$UNOFFICIAL" ]; then
   cd $DISTNAME
   $CVS2CL
   gzip ChangeLog