# HG changeset patch
# User haftmann
# Date 1118059865 -7200
# Node ID a4e163c7ed9c18bb86156333dc71b4dc9846bdfa
# Parent  872ad146bb14f5c57fea4e260eb8d2f947c8e218
minor refinements

diff -r 872ad146bb14 -r a4e163c7ed9c Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Mon Jun 06 13:43:39 2005 +0200
+++ b/Admin/website/build/project.mak	Mon Jun 06 14:11:05 2005 +0200
@@ -23,3 +23,14 @@
 
 symlinks: $(DEP_SYMLINKS)
 .PHONY: symlinks
+
+include conf/distname.mak
+conf/distname.mak:
+	@echo 'There is no conf/distname.mak file; it should have been'; \
+	echo 'allocated by makedist.'; \
+	echo 'If you have no makedist at hands, allocate a conf/distname.mak file'; \
+	echo 'yourself, e. g. by:'; \
+	echo; \
+	echo 'echo "DISTNAME=Isabelle2004" > conf/distname.mak'; \
+	echo; \
+	false; \
diff -r 872ad146bb14 -r a4e163c7ed9c Admin/website/dist/others.html
--- a/Admin/website/dist/others.html	Mon Jun 06 13:43:39 2005 +0200
+++ b/Admin/website/dist/others.html	Mon Jun 06 14:11:05 2005 +0200
@@ -16,7 +16,7 @@
     <div id="content">
       <h2>More about Isabelle</h2>
 
-      <p>is available on our main pages</p>
+      <p>is available on our main sites:</p>
 
       <ul>
         <li>at <a href=
diff -r 872ad146bb14 -r a4e163c7ed9c Admin/website/index.html
--- a/Admin/website/index.html	Mon Jun 06 13:43:39 2005 +0200
+++ b/Admin/website/index.html	Mon Jun 06 14:11:05 2005 +0200
@@ -24,8 +24,8 @@
         overview</a>.
         </p>
         <p>
-        These pages provide general information on Isabelle, more
-        specific information is available from the local pages
+        These site provides general information on Isabelle, more
+        specific information is available from the local sites
         </p>
 
           <ul>