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