equal
deleted
inserted
replaced
113 * log in to sunbroy2 |
113 * log in to sunbroy2 |
114 * go to ~/isabelle/website_build |
114 * go to ~/isabelle/website_build |
115 * there do an CVS update if desired |
115 * there do an CVS update if desired |
116 * do your changes |
116 * do your changes |
117 * just type make - the website is builded to the website synchronization cache |
117 * just type make - the website is builded to the website synchronization cache |
|
118 * for sure, check groups (isabelle) and permissions (rw-/rwx) |
118 * then do CVS commit |
119 * then do CVS commit |
119 * for updating the webpage in Munich, just use Admin/mirror-website |
120 * for updating the webpage in Munich, just use Admin/mirror-website |
120 * if the Isabelle distribution files themselves change, some handwired updating |
121 * if the Isabelle distribution files themselves change, some handwired updating |
121 is neceassary; however, for casual content changes the build bed should work |
122 is neceassary; however, for casual content changes the build bed should work |
122 properly |
123 properly |