The repository on flubber has moved.

1 files changed, 9 insertions, 9 deletions

diff --git a/contributing/web_pages.mdwn b/contributing/web_pages.mdwn
index 8227e7d1..0cf55baf 100644
--- a/contributing/web_pages.mdwn
+++ b/contributing/web_pages.mdwn
@@ -37,7 +37,7 @@ pages will be more useful for everyone, especially for our own use.
 
 When you found a page you want to work on, just follow the *Edit* link on the
 top of the page.  When doing this for the first time, this will first transfer
-you to a page where you have to create a wiki account.  After logging in, you
+you to a page where you have to create an account.  After logging in, you
 can edit the pages.
 
 
@@ -72,10 +72,10 @@ identity:
 For being able to do a checkout from which you can later directly push your
 changes back into the master repository, you need a
 [[shell_account_on_*flubber*|public_hurd_boxen]] and need to be a member of
-the *wiki* group.  (It's also very much recommenable that you set up your local
+the *hurd-web* group.  (It's also very much recommenable that you set up your local
 ssh configuration as advised on that page.)  If you have an account on there:
 
-	$ git clone flubber:~wiki/wiki [dest]
+	$ git clone flubber:~hurd-web/hurd-web [dest]
 
 If you don't have such an account or don't have your login data handy, you can
 still get the pages the read-only way.
@@ -89,11 +89,11 @@ If that also doesn't work out, you have yet another chance: pull over the http
 protocol.  Not very efficient (read: rather inefficient), but it works.  This
 is also read-only.
 
-	$ git clone http://www.bddebian.com/git/wiki [dest]
+	$ git clone http://www.bddebian.com:8888/git/hurd-web [dest]
 
-For all cases: if you omit `[dest]` it will default to `wiki`.
+For all cases: if you omit `[dest]` it will default to `hurd-web`.
 
-Later, you can just `cd` into the `wiki` directory and run a `git pull` to get
+Later, you can just `cd` into the `hurd-web` directory and run a `git pull` to get
 hold of the latest changes others have been installing in the mean time.  (Even
 better would be to do a `git fetch`, followed by a `git rebase origin/master`
 to avoid those *Merge branch ...* messages.  See the git documentation for
@@ -102,7 +102,7 @@ details.)
 
 But now: work on these files.
 
-	$ cd wiki/
+	$ cd hurd-web/
 	$ emacs hurd/ng.mdwn
 	$ # Check what you've done.
 	$ git diff hurd/ng.mdwn
@@ -122,12 +122,12 @@ into the master repository, see below.
 
 You can also locally get the whole set of pages rendered to HTML:
 
-	$ wiki/render_locally
+	$ hurd-web/render_locally
 	[...]
 	scanning contributing/web_pages.mdwn
 	rendering contributing/web_pages.mdwn
 	
-	Now open `wiki.rendered/index.html' to browse the pages.
+	Now open `hurd-web.rendered/index.html' to browse the pages.
 
 
 If you like what you've done, then it's now time to publish your changes.