# HG changeset patch
# User haftmann
# Date 1129878352 -7200
# Node ID 68988fd2fd27baec807c83782d4b8b93e2a9b1be
# Parent  1a0536074edf2239d194c1b94efd981edaf48fa8
towards an improved website/makedist integration

diff -r 1a0536074edf -r 68988fd2fd27 Admin/makedist
--- 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
diff -r 1a0536074edf -r 68988fd2fd27 Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Fri Oct 21 09:05:52 2005 +0200
+++ b/Admin/website/build/project.mak	Fri Oct 21 09:05:52 2005 +0200
@@ -1,7 +1,7 @@
 # isaweb makefile - project-specific dependencies
 # $Id$
 
-include conf/distname.mak
+include conf/distinfo.mak
 conf/distinfo.mak:
 	@echo 'There is no $@ file; it should have been allocated by makedist.'; \
 	@echo 'If you have no makedist at hand, check out default $@ from CVS'; \