equal
deleted
inserted
replaced
115 * go to ~/isabelle/website_build |
115 * go to ~/isabelle/website_build |
116 * there do an CVS update if desired |
116 * there do an CVS update if desired |
117 * do "make perms" to set file owner group (isabelle) and permissions |
117 * do "make perms" to set file owner group (isabelle) and permissions |
118 (rw-rw-r--, rwxrwsr-x) |
118 (rw-rw-r--, rwxrwsr-x) |
119 * do your changes |
119 * do your changes |
120 * just type make - the website is builded to the website synchronization cache |
120 * just type make - the website is built to the website synchronization cache |
121 * then do CVS commit |
121 * then do CVS commit |
122 * for updating the webpage in Munich, just use Admin/mirror-website |
122 * for updating the webpage in Munich, just use Admin/mirror-website |
123 * if the Isabelle distribution files themselves change, some handwired updating |
123 * if the Isabelle distribution files themselves change, some handwired updating |
124 is neceassary; however, for casual content changes the build bed should work |
124 is neceassary; however, for casual content changes the build bed should work |
125 properly |
125 properly |