# HG changeset patch
# User haftmann
# Date 1127833786 -7200
# Node ID 442e7bec1d49dd740466b6e7bb59a453abf00d73
# Parent  5f6a9ed548c1d61053096ebb0d65a0a98eadce7d
build bed

diff -r 5f6a9ed548c1 -r 442e7bec1d49 Admin/website/README
--- a/Admin/website/README	Tue Sep 27 17:09:46 2005 +0200
+++ b/Admin/website/README	Tue Sep 27 17:09:46 2005 +0200
@@ -102,4 +102,21 @@
 ============================
 
 * the site is not monolithic
-* it must fit neatlessly into the Isabelle distribution and regression framework
\ No newline at end of file
+* it must fit neatlessly into the Isabelle distribution and regression framework
+
+
+(5) the website build bed on sunbroy2
+=====================================
+
+For convenience, there is a completely configured
+website build bed on sunbroy2:
+* log in to sunbroy2
+* go to ~/isabelle/website_build
+* there do an CVS update if desired
+* do your changes
+* just type make - the website is builded to the website synchronization cache
+* then do CVS commit
+* for updating the webpage in Munich, just use Admin/mirror-website
+* if the Isabelle distribution files themselves change, some handwired updating
+  is neceassary; however, for casual content changes the build bed should work
+  properly
diff -r 5f6a9ed548c1 -r 442e7bec1d49 Admin/website/TODO
--- a/Admin/website/TODO	Tue Sep 27 17:09:46 2005 +0200
+++ b/Admin/website/TODO	Tue Sep 27 17:09:46 2005 +0200
@@ -1,5 +1,5 @@
 For the release:
-- make build bed ()
+- announce build bed
 - abandon old scripts: mirror-*, rsyncisabelle
 - abandon old cache
 - cleanup old dist