pushing now does automatically update the wiki

diff --git a/README.SIPB b/README.SIPB
index 6fe9c87f86f75dcd5f76db7c6de8d611f9bbbaf7..084a29251886ae35a3ffbd676f2d0f1cb6af2469 100644 (file)
--- a/README.SIPB
+++ b/README.SIPB
@@ -17,11 +17,11 @@ do not attempt to run them locally. The scripts are as follows:
     directory.
 
 ~/bin/update-ikiwiki
-    This script recompiles the website and should be run if you make any
-    modification to pages.
-        XXX: Eventually, pushing to the Wiki repository will automatically
-        run updates; until then, you'll need to run update-ikiwiki then
-        as well.
+    This script recompiles the website from its source directory
+    ikiwiki/src into the live wiki directory web_scripts/wiki.
+    It should be needed only if you do something odd; if you push
+    to the master repo at wiki.git, the post-update hook will do the
+    same thing as this.
 
 Setup: