--- 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/.
--- 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
--- 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