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