Admin/makedist
changeset 17942 68988fd2fd27
parent 17910 2b435795c9e9
child 18539 35b9ed76b59a
--- a/Admin/makedist	Fri Oct 21 09:05:52 2005 +0200
+++ b/Admin/makedist	Fri Oct 21 09:05:52 2005 +0200
@@ -153,8 +153,8 @@
 
 cp -R Admin/website ..
 mkdir -p ../website/conf
-cat > ../website/conf/distname.mak <<EOF
-# this is a generated file - do not edit!
+cat > ../website/conf/distinfo.mak <<EOF
+# this is a generated file - do not edit unless you know what you are doing!
 
 DISTNAME=$DISTNAME
 DISTIDENT=$DISTIDENT