how_to_contribute_to_this_wiki -> contributing/wiki. Add redirection from the old location.

3 files changed, 164 insertions, 144 deletions

diff --git a/contributing.mdwn b/contributing.mdwn
index b35fdc7c..2fe7328c 100644
--- a/contributing.mdwn
+++ b/contributing.mdwn
@@ -8,6 +8,17 @@ is included in the section entitled
 
 So, you are interested in contributing to the GNU/Hurd effort?
 
+Welcome!  Every single contribution is very much encouraged!
+
+There are various ways of contributing, read on about contributing to...
+
+# These wiki pages
+
+Please read about [[how_to_contribute_to_this_wiki|wiki]].
+
+
+# The system itself
+
 First thing to do then is to get access to a GNU/Hurd system.  Installing
 [[Debian_GNU/Hurd|hurd/running/debian]] will probably be the easiest and most
 feature-complete solution.  If you don't have spare hardware to use for doing
diff --git a/contributing/wiki.mdwn b/contributing/wiki.mdwn
new file mode 100644
index 00000000..5d4a8eea
--- /dev/null
+++ b/contributing/wiki.mdwn
@@ -0,0 +1,152 @@
+[[meta copyright="Copyright © 2007 Free Software Foundation, Inc."]]
+[[meta license="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled
+[[GNU_Free_Documentation_License|/fdl]]."]]
+
+(!) Some general hints first; they may sound very familiar from other software
+projects:
+
+* Do independent changes *separately*: don't aggregate changes that don't
+  belong together.
+* Install your changes *early* and *often*: don't hold your contribution back
+  until you think it is perfect.
+
+Before doing any changes, you are encouraged to play a bit in this wiki's
+[[sandbox]], to become familiar with the [[ikiwiki/Markdown]] syntax.  Get some
+[[help_on_formatting|ikiwiki/formatting]].
+
+Feel free to ask questions or report problems on every page's [[discussion]]
+sub-page.  They're reachable from the *Discussion* link on the top of the page,
+which will, when selected, create a new page if there isn't one yet.
+
+
+# Edit Via the Web Interface
+
+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
+can edit the wiki pages.
+
+
+# Working on a Checkout of the git Repository
+
+(!) What is being described here are only the basics.  The checkouts are
+completely valid git repositories and can (and want to) be treated as such.
+Consult the git documentation about how to shuffle around with branches, how to
+rename files, how to upload arbitrary data files, and so on.
+
+(!) Before attempting any bigger editing work (to which you are sincerely
+invited!) be sure to check the involved pages' *Discussion* subpages (linked
+from the pages' header line) and in there take down (short) notes about the
+editing endeavors you're going to undertake.  Doing so should help to (a) avoid
+double work and (b) avoid merge conflict if you install your changes into the
+main repository.
+
+
+First, let's make sure that you're properly identifying yourself towards git.
+
+	$ git var GIT_AUTHOR_IDENT
+	Thomas Schwinge <tschwinge@gnu.org> 1186743435 +0200
+
+If it doesn't look akin to that for you, you'd better adjust either your
+*EMAIL* environment variable or alternatively tell git about your real
+identity:
+
+	$ git config --global user.name 'Your Name'
+	$ git config --global user.email you@somewhere.invalid
+
+
+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
+ssh configuration as advised on that page.)  If you have an account on there:
+
+	$ git clone flubber:~wiki/wiki [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.
+
+Getting the files by using the native git protocol is currently not possible,
+but will be possible again as soon as the master repository has been relocated
+to the GNU Savannah machine.
+
+<!--
+	$ git clone git://flubber.bddebian.com/git/wiki [dest]
+
+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]
+
+For all cases: if you omit *[dest]* it will default to *wiki*.
+
+Later, you can just *cd* into the *wiki* directory and run a *git pull* to get
+hold of the latest changes others have been installing in the mean time.
+
+
+But now: work on these files.
+
+	$ cd wiki/
+	$ emacs hurd/ng.mdwn
+	$ # Check what you've done.
+	$ git diff hurd/ng.mdwn
+	$ git commit hurd/ng.mdwn
+	[...]
+	$ # Add a new file.
+	$ emacs microkernel/mach/issues.mdwn
+	$ git add microkernel/mach/issues.mdwn
+	$ git commit microkernel/mach/issues.mdwn
+	[...]
+	$ [...]
+
+Remember that at this stage your commits have only been installed into your
+personal working copy.  You'll finally have to explicitly install your changes
+into the master repository, see below.
+
+
+You can also locally get the whole wiki rendered to html pages:
+
+	$ wiki/render_locally
+	[...]
+	scanning how_to_contribute_to_this_wiki.mdwn
+	rendering how_to_contribute_to_this_wiki.mdwn
+	
+	Now open `wiki.rendered/index.html' to browse the wiki pages.
+
+
+If you like what you've done, then it's now time to publish your changes.
+
+If you can push directly into the master repository this is really simple:
+
+	$ git push
+	updating 'refs/heads/master'
+	  from d83f93f34b69633ca1afb588001df7addd708faf
+	  to   c0b8171de9c69e029bf998aafd4682105c217eb8
+	Generating pack...
+	[...]
+	Updating web pages.  This may up to a few minutes at the utmost...
+
+If you can't do that, then first prepare to publish your changes:
+
+	$ git-format-patch -M -B origin
+	0001-Be-a-bit-more-expressive.patch
+	[...]
+
+See through the generated **.patch* files and simply delete those you don't
+want to publish.
+
+Finally, publish the good ones.  If you have a local mail transfer agent
+running, the following is all you have to do:
+
+	$ git-send-email --to web-hurd@gnu.org *.patch
+	[...]
+
+If you don't have an MTA running, you'll have to find another way: either post
+the **.patch* files to <web-hurd@gnu.org> or upload them somewhere for us to
+download them from.
diff --git a/how_to_contribute_to_this_wiki.mdwn b/how_to_contribute_to_this_wiki.mdwn
index 5d4a8eea..88950834 100644
--- a/how_to_contribute_to_this_wiki.mdwn
+++ b/how_to_contribute_to_this_wiki.mdwn
@@ -6,147 +6,4 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
 is included in the section entitled
 [[GNU_Free_Documentation_License|/fdl]]."]]
 
-(!) Some general hints first; they may sound very familiar from other software
-projects:
-
-* Do independent changes *separately*: don't aggregate changes that don't
-  belong together.
-* Install your changes *early* and *often*: don't hold your contribution back
-  until you think it is perfect.
-
-Before doing any changes, you are encouraged to play a bit in this wiki's
-[[sandbox]], to become familiar with the [[ikiwiki/Markdown]] syntax.  Get some
-[[help_on_formatting|ikiwiki/formatting]].
-
-Feel free to ask questions or report problems on every page's [[discussion]]
-sub-page.  They're reachable from the *Discussion* link on the top of the page,
-which will, when selected, create a new page if there isn't one yet.
-
-
-# Edit Via the Web Interface
-
-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
-can edit the wiki pages.
-
-
-# Working on a Checkout of the git Repository
-
-(!) What is being described here are only the basics.  The checkouts are
-completely valid git repositories and can (and want to) be treated as such.
-Consult the git documentation about how to shuffle around with branches, how to
-rename files, how to upload arbitrary data files, and so on.
-
-(!) Before attempting any bigger editing work (to which you are sincerely
-invited!) be sure to check the involved pages' *Discussion* subpages (linked
-from the pages' header line) and in there take down (short) notes about the
-editing endeavors you're going to undertake.  Doing so should help to (a) avoid
-double work and (b) avoid merge conflict if you install your changes into the
-main repository.
-
-
-First, let's make sure that you're properly identifying yourself towards git.
-
-	$ git var GIT_AUTHOR_IDENT
-	Thomas Schwinge <tschwinge@gnu.org> 1186743435 +0200
-
-If it doesn't look akin to that for you, you'd better adjust either your
-*EMAIL* environment variable or alternatively tell git about your real
-identity:
-
-	$ git config --global user.name 'Your Name'
-	$ git config --global user.email you@somewhere.invalid
-
-
-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
-ssh configuration as advised on that page.)  If you have an account on there:
-
-	$ git clone flubber:~wiki/wiki [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.
-
-Getting the files by using the native git protocol is currently not possible,
-but will be possible again as soon as the master repository has been relocated
-to the GNU Savannah machine.
-
-<!--
-	$ git clone git://flubber.bddebian.com/git/wiki [dest]
-
-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]
-
-For all cases: if you omit *[dest]* it will default to *wiki*.
-
-Later, you can just *cd* into the *wiki* directory and run a *git pull* to get
-hold of the latest changes others have been installing in the mean time.
-
-
-But now: work on these files.
-
-	$ cd wiki/
-	$ emacs hurd/ng.mdwn
-	$ # Check what you've done.
-	$ git diff hurd/ng.mdwn
-	$ git commit hurd/ng.mdwn
-	[...]
-	$ # Add a new file.
-	$ emacs microkernel/mach/issues.mdwn
-	$ git add microkernel/mach/issues.mdwn
-	$ git commit microkernel/mach/issues.mdwn
-	[...]
-	$ [...]
-
-Remember that at this stage your commits have only been installed into your
-personal working copy.  You'll finally have to explicitly install your changes
-into the master repository, see below.
-
-
-You can also locally get the whole wiki rendered to html pages:
-
-	$ wiki/render_locally
-	[...]
-	scanning how_to_contribute_to_this_wiki.mdwn
-	rendering how_to_contribute_to_this_wiki.mdwn
-	
-	Now open `wiki.rendered/index.html' to browse the wiki pages.
-
-
-If you like what you've done, then it's now time to publish your changes.
-
-If you can push directly into the master repository this is really simple:
-
-	$ git push
-	updating 'refs/heads/master'
-	  from d83f93f34b69633ca1afb588001df7addd708faf
-	  to   c0b8171de9c69e029bf998aafd4682105c217eb8
-	Generating pack...
-	[...]
-	Updating web pages.  This may up to a few minutes at the utmost...
-
-If you can't do that, then first prepare to publish your changes:
-
-	$ git-format-patch -M -B origin
-	0001-Be-a-bit-more-expressive.patch
-	[...]
-
-See through the generated **.patch* files and simply delete those you don't
-want to publish.
-
-Finally, publish the good ones.  If you have a local mail transfer agent
-running, the following is all you have to do:
-
-	$ git-send-email --to web-hurd@gnu.org *.patch
-	[...]
-
-If you don't have an MTA running, you'll have to find another way: either post
-the **.patch* files to <web-hurd@gnu.org> or upload them somewhere for us to
-download them from.
+[[meta redir=contributing/wiki]]