summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-11-19 14:18:21 +0100
committerThomas Schwinge <tschwinge@gnu.org>2008-11-19 14:18:21 +0100
commit306cbd9d3afc7619bbaef2d14123f6a693802980 (patch)
tree57a82e43c2889f853ce1923b5d9b1455f652ec01
parente8eb5a1f9a5082f3f8c450a1a7cd115a3c03fc22 (diff)
The repository on flubber has moved.
-rw-r--r--contributing/web_pages.mdwn18
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.