needs to be done here, just follow the regular instructions in [[setup]]
for setting up ikiwiki with git.
-Next, `git clone` the source from the server to the laptop.
+Next, `git clone` the source (`$REPOSITORY`, not `$SRCDIR`)
+from the server to the laptop.
Now, set up a web server on your laptop, if it doesn't already have one.