# HG changeset patch
# User haftmann
# Date 1117976663 -7200
# Node ID dda44b201c4d97d72db11c9c2e757d3e679ed61c
# Parent  f3f4d357b8ad103334c74a0d86c4abc76f983d37
symlink problem hopefully solved

diff -r f3f4d357b8ad -r dda44b201c4d Admin/mirror-main
--- a/Admin/mirror-main	Sun Jun 05 14:58:16 2005 +0200
+++ b/Admin/mirror-main	Sun Jun 05 15:04:23 2005 +0200
@@ -25,5 +25,7 @@
     ;;
 esac
 
-rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \
+echo "Warning: this script now mirrors the *complete* Isabelle site"
+
+rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va --copy-links \
   $USER@sunbroy2.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/www/. $DEST/.
diff -r f3f4d357b8ad -r dda44b201c4d Admin/website/build/localconf.at.template.mak
--- a/Admin/website/build/localconf.at.template.mak	Sun Jun 05 14:58:16 2005 +0200
+++ b/Admin/website/build/localconf.at.template.mak	Sun Jun 05 15:04:23 2005 +0200
@@ -11,10 +11,10 @@
 TIDY=tidy
 
 # dirs to copy to build target
-STATICDIRS=img media dist/css dist/img
+STATICDIRS=img media dist/css dist/img dist/packages
 
 # build target (attention: ~ will not work!)
-OUTPUTROOT=$(HOME)/isabelle_website
+OUTPUTROOT=/usr/proj/isabelle-repository/www
 
 # current distribution name
 DISTNAME=Isabelle2004
@@ -23,7 +23,7 @@
 ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004
 
 # location of isabelle library 
-ISABELLE_LIBR=/home/proj/isabelle/dist/Isabelle2004/library
+ISABELLE_LIBR=/home/proj/isabelle/dist/library-Isabelle2004
 
 # location of doc content file
 ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/Isabelle2004/doc/Contents
diff -r f3f4d357b8ad -r dda44b201c4d Admin/website/build/localconf.sun.template.mak
--- a/Admin/website/build/localconf.sun.template.mak	Sun Jun 05 14:58:16 2005 +0200
+++ b/Admin/website/build/localconf.sun.template.mak	Sun Jun 05 15:04:23 2005 +0200
@@ -23,7 +23,7 @@
 ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004
 
 # location of isabelle library 
-ISABELLE_LIBR=/home/proj/isabelle/dist/Isabelle2004/library
+ISABELLE_LIBR=/home/proj/isabelle/dist/library-Isabelle2004
 
 # location of doc content file
 ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/Isabelle2004/doc/Contents