--- a/Admin/website/README Fri Feb 17 03:30:50 2006 +0100
+++ b/Admin/website/README Fri Feb 17 08:42:41 2006 +0100
@@ -112,7 +112,7 @@
For convenience, there is a completely configured
website build bed on sunbroy2:
* log in to sunbroy2
-* go to ~/isabelle/website_build
+* go to ~isabelle/website_build
* there do an CVS update if desired
* do "make perms" to set file owner group (isabelle) and permissions
(rw-rw-r--, rwxrwsr-x)
@@ -121,5 +121,5 @@
* 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
+ is necessary; however, for casual content changes the build bed should work
+ properly.