--- 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; \
--- 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=
--- 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>