towards an improved website/makedist integration
authorhaftmann
Fri, 21 Oct 2005 09:05:52 +0200
changeset 17942 68988fd2fd27
parent 17941 1a0536074edf
child 17943 48ec47217fe2
towards an improved website/makedist integration
Admin/makedist
Admin/website/build/project.mak
--- 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
--- 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'; \