diff --git a/updating_the_website.html b/updating_the_website.html index c502b89..95c0a1a 100755 --- a/updating_the_website.html +++ b/updating_the_website.html @@ -41,9 +41,15 @@ releases.</p> <ul> - <li>You should first make the change in our CVS repository, so it - doesn't get lost or overwritten by the next person that updates the - page between releases.</li> + <li>If the change you are making is intended to be part of a + release, you should first make the change in our CVS repository, + so it doesn't get lost or overwritten by the next person that + updates the page between releases. Of course if you don't check + in (say because the change is not supposed to be in the next + release), and someone else changes the page after you, the + change may be lost. This procedure does not account for that + case; you'll have to use your head and figure out what to + do.</li> <li> You will upload the file(s) by <code>scp</code>'ing to the