Admin/website/README

--- a/Admin/website/README	Tue Sep 27 17:09:46 2005 +0200
+++ b/Admin/website/README	Tue Sep 27 17:13:11 2005 +0200
@@ -115,6 +115,7 @@
 * there do an CVS update if desired
 * do your changes
 * just type make - the website is builded to the website synchronization cache
+* for sure, check groups (isabelle) and permissions (rw-/rwx)
 * 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