# HG changeset patch
# User haftmann
# Date 1127833434 -7200
# Node ID c5f49e4856e3e24f0ee5f981f38ba99028c37d98
# Parent  2fe254a20a4206380dc6d3b56487f0d9acbe9813
slight corrections

diff -r 2fe254a20a42 -r c5f49e4856e3 Admin/website/build/localconf.at.template.mak
--- 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
diff -r 2fe254a20a42 -r c5f49e4856e3 Admin/website/build/localconf.sun.template.mak
--- 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