--- a/Admin/website/build/localconf.at.template.mak Tue Sep 27 17:01:49 2005 +0200
+++ b/Admin/website/build/localconf.at.template.mak Tue Sep 27 17:03:54 2005 +0200
@@ -23,7 +23,7 @@
ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005
# location of doc content file
-ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/dist/dist-Isabelle2005/doc/Contents
+ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/dist/dist-Isabelle2005/Isabelle2005/doc/Contents
# umask for target files
TARGET_UMASK_FILE=664
--- a/Admin/website/build/localconf.sun.template.mak Tue Sep 27 17:01:49 2005 +0200
+++ b/Admin/website/build/localconf.sun.template.mak Tue Sep 27 17:03:54 2005 +0200
@@ -23,7 +23,7 @@
ISABELLE_DIST=/home/proj/isabelle/dist/dist-Isabelle2005
# location of doc content file
-ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/dist/dist-Isabelle2005/doc/Contents
+ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/dist/dist-Isabelle2005/Isabelle2005/doc/Contents
# umask for target files
TARGET_UMASK_FILE=664